Worse, 'reify' is in many cases the very reason why folks are using template-haskell in the first place to build instances or classes based on properties of data types above the splice in the current module.
On Fri, Jan 8, 2016 at 2:40 PM, Edward Z. Yang <ezy...@mit.edu> 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@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
