<div dir="ltr">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.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 8, 2016 at 2:40 PM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I implemented the refactoring to run the renamer and TH splices all<br>
first before doing any type-checking, but actually there's a problem:<br>
Template Haskell splices can call 'reify', which needs the type<br>
information in order to supply the information about the identifiers<br>
in question.  I can't think of any good way around this problem.<br>
<br>
Edward<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>