Reify and separating renamer+TH from type-checking

Edward Z. Yang ezyang at
Fri Jan 8 19:40:21 UTC 2016

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.


More information about the ghc-devs mailing list