Re: [MLKit-devel] Patch to MLKit to compile "Extended Basis Library"

[Martin E. <ma...@it...>]

Hi Vesa,

Thanks for your MLKit improvements. I've applied your patch to the trunk.

Best Regards,

Martin

On 10/28/06, Vesa Karvonen <ves...@cs...> wrote:
> While porting my "Extended Basis Library" project
>
>   http://mlton.org/pipermail/mlton-user/2006-October/000925.html
>
> to MLKit, I made a number of changes to MLKit.  See the patch to
> MLKit here:
>
>   http://mlton.org/cgi-bin/viewsvn.cgi?rev=4787&view=rev
>
> The patch:
> - Exposes the Basis library Text : TEXT module, which wasn't exposed
>   for some reason and also removes the opaque signature ascription which
>   would (incorrectly) generate new types char, string, vector, ...
> - Extends the MLB parser to handle an arbitrary number of annotations
>   in MLB files.  Unrecognized annotations result in a warning and have
>   no other semantic effect.
> - Extends the MLB lexer to recognize simple quoted strings.  This is
>   required to parse MLton's annotations properly.
> - Extends the expansion of MLB path variables so that path variables
>   are allowed at any position of a path rather than just at the
>   beginning.
>
> --Vesa Karvonen
>
> -------------------------------------------------------------------------
> 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
> _______________________________________________
> MLKit-devel mailing list
> MLK...@li...
> https://lists.sourceforge.net/lists/listinfo/mlkit-devel
>