<div dir="ltr">For expanding/inlining type synonyms, there is also th-expand-syns (<a href="http://hackage.haskell.org/package/th-expand-syns">http://hackage.haskell.org/package/th-expand-syns</a>).<div><br></div><div style>
/Anders</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Sep 2, 2013 at 3:25 AM, Richard Eisenberg <span dir="ltr"><<a href="mailto:eir@cis.upenn.edu" target="_blank">eir@cis.upenn.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">No, but I agree that this behavior is useful and in the spirit of th-desugar. I can add this to the next version, which should come out in a few days (tomorrow?), because I've noticed a bug with the scoping of as-patterns in let statements.<br>
<br>
Thanks for the suggestion!<br>
<span class="HOEnZb"><font color="#888888">Richard<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Aug 31, 2013, at 12:06 PM, Sjoerd Visscher wrote:<br>
<br>
> Great package!<br>
><br>
> One question: Do you remove/inline type synonyms? I ask because I just ran into this with some TH code. I'm looking for types that end with -> a, but that fails when type synonyms are involved.<br>
><br>
> Sjoerd<br>
><br>
> On Aug 30, 2013, at 2:08 AM, Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br>
><br>
>> I've just uploaded my new th-desugar package, which enables easier processing of Template Haskell source syntax by desugaring it into a much simpler core language. The meaning of the code after desugaring is identical to before desugaring, but the syntax is much simpler. To wit, th-desugar simplifies out all of the following constructs:<br>
>><br>
>> - guarded expressions in both functions and case statements<br>
>> - "where" declarations<br>
>> - do syntax<br>
>> - list/monad comprehensions<br>
>> - record creation / updates<br>
>> - as patterns<br>
>> - non-trivial patterns in a lambda expression<br>
>> - lambda-case<br>
>> - multi-way if<br>
>> - several more<br>
>><br>
>> If you are writing a library that manipulates Template Haskell syntax, you may wish to consider if th-desugar will make your job easier by forcing you to consider fewer cases. The one source Haskell construct supported by Template Haskell but not supported by th-desguar is view patterns, mostly because these interact quite non-trivially with pattern binders. It's possible this hole will be closed in a future version.<br>
>><br>
>> Enjoy!<br>
>> Richard<br>
>> _______________________________________________<br>
>> Haskell-Cafe mailing list<br>
>> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
><br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>