Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005871OCamlOCaml generalpublic2013-01-02 17:262013-06-28 18:13
Reporterhongboz 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusfeedbackResolutionopen 
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
(0008698)
frisch (developer)
2013-01-05 11:27

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

I may upload a patch next week, it's something similar to allow piping raw ast

- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker