|View Issue Details [ Jump to Notes ] ||[ Issue History ] [ Print ] |
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005913||OCaml||OCaml general||public||2013-01-29 12:32||2013-06-17 16:32|
|Assigned To|| |
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version|| |
|Target Version||Fixed in Version|| |
|Summary||0005913: Cleaning up Parsetree: removing prefixes|
|Description||Now that we have type-based disambiguation of constructors and labels, it is possible to get rid of prefixes in the Parsetree. This would make writing AST transformers (-ppx) a little bit easier. Such changes to the Parsetree are better done before too many people start writing AST transformers...|
I attach a patch (against current trunk) which removes prefixes from most sum types in Parsetree. I've had to add only a very small number of type annotations (around 10, I think) to make everything compile (including Camlp4).
I've kept the prefixes on record types for now, since removing them might require more annotations.
|Tags||No tags attached.|
|Attached Files|| remove_prefixes.diff [^] (484,566 bytes) 2013-01-29 12:32|