Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005871OCamlOCaml generalpublic2013-01-02 17:262015-11-23 15:10
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005871: accept piping typedtree
Descriptionpre-processor will be enhanced if given type information, currently the way to go is back and forth between typedtree and parsetree (for the whole file) which takes too much time.

if this is accepted, we can incrementally typing each phrase, then only for the typedtree which needs rewriting, we do the type and untype cycle, which saves a lot of time and you don't pay if you don't do the typedtree re-writing.

The change to the compiler is minimal
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
frisch (developer)
2013-01-05 11:27

Can your be more explicit about the proposed change?
hongboz (developer)
2013-01-05 23:37

I may upload a patch next week, it's something similar to allow piping raw ast
xleroy (administrator)
2015-11-23 15:10

This PR has been inactive for too long. Suspending it.

- Issue History
Date Modified Username Field Change
2013-01-02 17:26 hongboz New Issue
2013-01-05 11:27 frisch Note Added: 0008698
2013-01-05 23:37 hongboz Note Added: 0008699
2013-06-28 18:13 doligez Status new => feedback
2015-11-23 15:10 xleroy Note Added: 0014791
2015-11-23 15:10 xleroy Status feedback => resolved
2015-11-23 15:10 xleroy Resolution open => suspended

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker