[antlr-interest] Full typechecker written as TreeParser?

[micheal_jor]

I am looking for samples of projects that implement full typechecking 
(or a framework that support it) using a treeparser. I am 
experimenting with typechecking for a subset of Java (defined by how 
easily/quickly I can support any particular feature) and I guess I 
just haven't grokked treeparsers fully yet. The ANTLR projects I've 
seen in the wild tend to use heavily modified visitors or other 
intractable custom evaluators for full typechecking.

The examples doesn't have to be dealing with Java. Even a small 
language like Pascal/BASIC would be fine.

Cheers,

Micheal 


 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/