Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005913OCamlOCaml generalpublic2013-01-29 12:322013-06-17 16:32
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionsuspended 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005913: Cleaning up Parsetree: removing prefixes
DescriptionNow 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.
TagsNo tags attached.
Attached Filesdiff file icon remove_prefixes.diff [^] (484,566 bytes) 2013-01-29 12:32

- Relationships

-  Notes
(0009539)
xleroy (administrator)
2013-06-17 16:24

Following the discussion on caml-devel, I'm "suspending" this PR, as there was no consensus on this feature and general agreement that at any rate we should wait until type-based disambiguation has been widely used and debugged.

- Issue History
Date Modified Username Field Change
2013-01-29 12:32 frisch New Issue
2013-01-29 12:32 frisch File Added: remove_prefixes.diff
2013-06-17 16:24 xleroy Note Added: 0009539
2013-06-17 16:24 xleroy Status new => resolved
2013-06-17 16:24 xleroy Resolution open => suspended


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker