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

[Vesa K. <ves...@cs...>]

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