Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005913OCaml~DO NOT USE (was: OCaml general)public2013-01-29 12:322013-06-17 16:32
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
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
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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker