diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-21 13:56:09 -0800 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-21 13:56:09 -0800 |
commit | b62d1b8ba5f6b568370c7ca1f87fa820367a233b (patch) | |
tree | 108237594588d3269644d2d3d2b1eb7c9c4f9062 /.gitignore | |
parent | 5166756cdcf8a3979176006cde2a4f0db5b09ebf (diff) |
Improve Template Haskell usage
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions