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@...> | |