Re: [Haskell-cafe] ANN: th-desugar simplifies Template Haskell processing

2013-09-01 Thread Anders Persson
For expanding/inlining type synonyms, there is also th-expand-syns ( http://hackage.haskell.org/package/th-expand-syns). /Anders On Mon, Sep 2, 2013 at 3:25 AM, Richard Eisenberg wrote: > No, but I agree that this behavior is useful and in the spirit of > th-desugar. I can add this to the next

Re: [Haskell-cafe] ANN: th-desugar simplifies Template Haskell processing

2013-09-01 Thread Richard Eisenberg
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. Thanks for the suggestion! Richard On Aug 31, 2013, a

Re: [Haskell-cafe] ANN: th-desugar simplifies Template Haskell processing

2013-08-31 Thread Sjoerd Visscher
Great package! 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. Sjoerd On Aug 30, 2013, at 2:08 AM, Richard Eisenberg wrote: > I've just uploaded m

[Haskell-cafe] ANN: th-desugar simplifies Template Haskell processing

2013-08-29 Thread Richard Eisenberg
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 simpl