[antlr-interest] Re: Full typechecker written as TreeParser?

[antlrlist]

Hello Micheal

I've been thinking about typechecking and implementing it for the last
two months, and I've putted all I've foud about it on antlraux.

An old version of antlraux is available for download here:

http://imaginatica.us.es/~enrique/antlraux/

A newer version will be uploaded to the new site this week.

typechecking classes are contained in antlraux.context package.

The system is very simple. I call it the Scope/Declaration/Type
system, because those are the main classes you use all the time.

- Declaration for modelizing scope entries
- Scope for organizing Declarations hierarchically
- Type for types.

This way the system is powerfull enought to handle inheritance and
polymorphysm.

Have a look, and tell me what you think...

Enrique



> 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/