Verify that generated code is syntactically correct

« treematch project page

While generating code in treematch, validate names for their uid/lidness. Currently, there is at least one instance in which an uppercase type name is emitted.

See testsuite/treematch/simple_map.tm: "... and Integer = int"

Details

Id: 8f0a6e580c18fc9a3163b378683600158058d5c8
Type: bugfix
Creation time: 2012-10-20 11:08 GMT
Creator: Pippijn van Steenhoven <pippijn@...>
Release: unassigned
Component: treematch
Status: closed: fixed fixed

Issue log

2012-10-20 14:53 GMT Wojciech Meyer <wojciech.meyer@...> commented
We should consider adding Ident module to baselib
2012-10-20 14:52 GMT Wojciech Meyer <wojciech.meyer@...> closed with disposition fixed
Now the Ident module is introduced, and propagates the case a camlp4 naming convention in type safe manner
2012-10-20 11:08 GMT Pippijn van Steenhoven <pippijn@...> created