Skip to content

Commit

Permalink
Update 0000-type-annotated-quoters.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
winterland1989 committed Apr 25, 2018
1 parent 57ba9c2 commit b808b60
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion proposals/0000-type-annotated-quoters.rst
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ Proposed Change Specification
Introduce a new data type ``data TQuasiQuoter a = TQuasiQuoter (String -> Q (TExp a))`` in ``Language.Haskell.TH.Quote`` module.

* Allow ``quoter :: TQuasiQuoter a`` to be spliced in the same way a ``QuasiQuoter`` which has ``quoteExp`` defined.
* The spliced expression AST node ``TExp a`` is annotated with type ``a``, and should be spliced in the type checker in the same way as a `TExp a` node does, and go through the same type checking process as a `TExp a` node does.
* The spliced expression AST node ``TExp a`` is annotated with type ``a``, and should be spliced in the type checker in the same way as a ``TExp a`` node does, and go through the same type checking process as a ``TExp a`` node does.
* Add document on how ``TQuasiQuoter a`` should be used to splice an `a` typed expression into user's code.

Effect and Interactions
Expand Down

0 comments on commit b808b60

Please sign in to comment.