Now I saw a new package: AST-Semantic Which are the dependecies of that package?
It depends on AST-Core.
and who depends on it ?
Nobody at the moment. It can annotate the AST with semantic information. For example, it can tell you if two variables refer to the same thing. And it can tell you what kind of variables this is. And where and in what scope it is defined. And where and in what scopes it is read and written. And if it is shadowing or being shadowed by other variables. Or if it is a special variable like 'self', something you cannot determine just by looking at the name. The package might be useful to define some more sophisticated transformation or refactoring. Currently I am using it in Helvetia, but also the New Compiler and other tools might find it useful. Lukas -- Lukas Renggli www.lukas-renggli.ch