[MLton-devel] Fwd: Mark Tuttle

[Stephen Weeks]

> Is there a standard incantation to put in sources.cm to include the
> library files for mlyacc?

The easiest solution is to explicitly list the needed files:

/usr/share/mlton-20030312/lib/mlyacc/base.sig
/usr/share/mlton-20030312/lib/mlyacc/lrtable.sml
/usr/share/mlton-20030312/lib/mlyacc/stream.sml
/usr/share/mlton-20030312/lib/mlyacc/parser2.sml
/usr/share/mlton-20030312/lib/mlyacc/join.sml

>   /usr/share/mlton-20030312/lib/mlton-stubs/sources.cm:
>     bad CM file: undefined symbol: SMLNJ_VERSION

This happens because MLton's cm-file preprocessor doesn't define any
symbols.  We don't encounter this problem because we always use cmcat,
a tool built with SML/NJ's CM to transform SML/NJ style CM files into
one suitable for MLton.  Have a look at the $(NAME)-stubs_cm target in
mlton/Makefile from the sources to see how, or just use the easy
solution above.

> Does mlton use a search path to find source files? 

No.

> Is the user's guide on the web site the primary reference for
> answering questions like this, or is there another reference manual
> somewhere?

The User Guide is it.  The easy answer is the MLton's CM files are a
very limited subset of SML/NJ's CM files.  We only use them to list
all the files in a project in order, using the cmcat tool to produce
the list.

> Both smlnj and mosml support quasi-quoting.  We use it to implement
> rewrite rules for optimization.  

I'll think about it.  But the best solution I can think of for now is
to use one of those other systems quasiquote to produce the strings
that you need and then create a Standard ML file with those strings.
I can see how this could be annoying though.

> Thanks for the experimental package.  If we decide to go with mlton,
> we will probably want to stick with the stock version.  Do you
> anticipate turning on these TextIO, BinIO, and hash table features in
> a future release?

The TextIO and BinIO stuff will go in the next release, slated for
June.  Unfortunately, making the libraries public is a lot further
out.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel