0005871: accept piping typedtree

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005871

OCaml

OCaml general

public

2013-01-02 17:26

2013-01-05 23:37

Reporter

hongboz

Assigned To

Priority

normal

Severity

feature

Reproducibility

have not tried

Status

new

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0005871: accept piping typedtree

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

Tags

No 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