Re: mlrisc-tools

The SML/NJ front end contains a parser and prettyprinters for SML code,
and it is possible to use these in other tools, with a bit of  
internal expertise.
And we hope to make the front-end tools more independently available  
over
the next few months, with better documentation as to how to use these
components.  The SML/NJ parser produces a fairly simple syntax tree
of type "ast", and the type checker transforms this into a deeper  
abstract
syntax of type "absyn".  The absyn is then translated into the FLINT
intermediate represention and heavily processed before finally being
translated once again into the MLRISC representation.  So there is no
direct connection between the absyn produced by the front end and
MLRISC.

Dave MacQueen


On Nov 5, 2006, at 6:13 PM, Dave Herman wrote:

> I was under the impression that MLRISC includes tools for parsing and
> pretty-printing ML code, but I don't see anything in the docs. Is  
> there
> a page I'm missing?
>
> Thanks,
> Dave
>
> Vesa A Norrman wrote:
>> Use this for loading $smlnj/MLRISC/Graphs.cm. Documentation is in
>> http://www.cs.nyu.edu/leunga/MLRISC/Doc/html/index.html.
>>
>> Is the mailing list archive broken?
>>
>>  - Vesa
>>
>> On Tue, 31 Oct 2006, Dave Herman wrote:
>>
>>> I've installed SML/NJ 110.59 on Cygwin, and I included the mlrisc- 
>>> tools
>>> in the installation. But I can't figure out how to load them. I also
>>> couldn't find any documentation for them.
>>>
>>> Can someone point me in the right direction to get started?
>>>
>>> Much obliged,
>>> Dave Herman
>>> [email protected]
>>>
>>> -------------------------------------------------------------------- 
>>> -----
>>> Using Tomcat but need to do more? Need to support web services,  
>>> security?
>>> Get stuff done quickly with pre-integrated technology to make  
>>> your job
>>> easier
>>> Download IBM WebSphere Application Server v.1.0.1 based on Apache
>>> Geronimo
>>> http://sel.as-us.falkag.net/sel? 
>>> cmd=lnk&kid=120709&bid=263057&dat=121642
>>> _______________________________________________
>>> Smlnj-list mailing list
>>> [email protected]
>>> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>>>
>>
>
>
> ---------------------------------------------------------------------- 
> ---
> Using Tomcat but need to do more? Need to support web services,  
> security?
> Get stuff done quickly with pre-integrated technology to make your  
> job easier
> Download IBM WebSphere Application Server v.1.0.1 based on Apache  
> Geronimo
> http://sel.as-us.falkag.net/sel? 
> cmd=lnk&kid=120709&bid=263057&dat=121642
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642