summaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* Version bump to v1.0.1HEADmasterGravatar Benjamin Barenblat2014-01-21
|
* Improve Template Haskell usageGravatar Benjamin Barenblat2014-01-21
| | | | | | | | | | | | | | | Quasiquotation now takes a more central role in the library, which reduces the amount of AST combinators required. Furthermore, all functions now return 'DecsQ', which makes combining them a bit more uniform. One actual bug fix in this commit: due to overzealous usage of 'mkName' instead of 'newName', splices in previous versions could trigger a warning about shadowing global variables. (In particular, you’d see an error if you defined a global variable named 'e'.) Thanks to Eric Mertens <emertens@galois.com> for his code review and suggestions.
* Initial commitGravatar Benjamin Barenblat2014-01-13