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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
