[GHC Proposal] Propose overhaul of implicit quantification in Template Haskell quoting

[Ben Gamari]

Hello everyone,

Ryan Scott just opened Pull Request #36 [1] against the ghc-proposals
repository. This is a proposal to change the behavior of Template
Haskell quoting with respect to implicitly quantified type variables.
The overall effect is that implicitly quantified type variables will be
separated from the explicitly quantified type variables, and instead put
into their own AST nodes.

Please feel free to read and discuss the proposal on its pull
request [1].

Cheers,

- Ben


[1] https://github.com/ghc-proposals/ghc-proposals/pull/36
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170117/df7187a4/attachment.sig>