You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5871 Reporter:@bobzhang Status: resolved (set by @xavierleroy on 2015-11-23T14:10:31Z) Resolution: suspended Priority: normal Severity: feature Category: ~DO NOT USE (was: OCaml general)
Bug description
pre-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
The text was updated successfully, but these errors were encountered:
Original bug ID: 5871
Reporter: @bobzhang
Status: resolved (set by @xavierleroy on 2015-11-23T14:10:31Z)
Resolution: suspended
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
pre-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
The text was updated successfully, but these errors were encountered: