The th-desugar library

This page is no longer maintained. Please see the GitHub repo for up-to-date information.

This page is the home of the th-desugar library, maintained by Richard Eisenberg. th-desugar provides functions to simplify the rich syntax allowed in Template Haskell into a more palatable (and smaller) form. See the documentation to get an idea of the simpler forms that th-desugar produces.

One goal of this library is to simplify TH development supporting multiple GHC versions, by desugaring multiple versions of TH all down to the same core language.

A future extension will be to greatly simplify case statements, making it so that patterns do not overlap.

Known issue:


This material is based upon work supported by the National Science Foundation under Grant No. 1116620. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation