On 11/06/2015 9:21 AM, Jonathan S. Shapiro wrote:
The reason a separate parse stack is a bother is that a given "position" in the parse stack can have distinct types over time as the parse tree is constructed; we cannot assign any simple static type to a position.
Oleg has covered part of this topic [1]. Parsing generates an AST, but there's no guarantee that AST is well-typed.
If the type is unclear at any given point while parsing, couldn't you simply assign a type variable until parsing is complete? Unification can then be performed during typed compilation.
Sandro [1] http://okmij.org/ftp/tagless-final/#typed-compilation _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
