Absyn in the open compiler framework.

Hi,

I am playing around the open compiler framework provided by SML/NJ. 
That's very cool. Using the framework, I managed to organize a
petite compilation function which takes a filename, compiles the
file, runs it, and prints something if I want.  

I am particularaly keen to manipulate the abstract syntax tree of
a SML program with the type information inferred by the elaboration
phase. 

It is strange for me to find that it is not permitted to access 
a part of the type-enriched abstract syntax tree (defined 
by Absyn.exp) from the outside of the open compiler framework.

As for the bare (untyped) abstract syntax tree (defined by 
Compiler.Ast.exp), it is fully permitted to access any arbitrary 
part of it. 

Did I miss some API for access to the part of the type-enriched 
abstract syntax tree? Otherwise, I wonder if there is any way to 
acces it without modifying the smlnj compiler.  

Thanks for your reading.


Kwanghoon








-------------------------------------------------------
SF.Net email is sponsored by:
Tame your development challenges with Apache's Geronimo App Server. Download
it for free - -and be entered to win a 42" plasma tv or your very own
Sony(tm)PSP.  Click here to play: http://sourceforge.net/geronimo.php