Reify and separating renamer+TH from type-checking

[David Kraeutmann]

I think I ran into this issue when we had the Safe Haskell annotation bug, which is why I just disabled annotations for SH. I can't think of a way around it unless we change the TH spec.

On 1/8/2016 8:40 PM, Edward Z. Yang wrote:
> I implemented the refactoring to run the renamer and TH splices all
> first before doing any type-checking, but actually there's a problem:
> Template Haskell splices can call 'reify', which needs the type
> information in order to supply the information about the identifiers
> in question.  I can't think of any good way around this problem.
>
> Edward
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4291 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160108/28dd5298/attachment.bin>