Verify that generated code is syntactically correct
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 |
Issue log
2012-10-20 14:53 GMT | Wojciech Meyer <wojciech.meyer@...> | |
We should consider adding Ident module to baselib | ||
2012-10-20 14:52 GMT | Wojciech Meyer <wojciech.meyer@...> | |
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@...> | |