Matthew Fluet wrote:
I'm encountering an unexpected (and presumably buggy) type error when
compiling the MLton sources with Poly/ML r883. I am able to compile the
MLton sources with Poly/ML 5.2.1 (and also MLton and SML/NJ), so I'm
fairly certain that the code is type correct. Unfortunately, the set of
sharing constraints with the AST related signatures is fairly complex,
and I haven't had any luck trimming things down to a simpler example.
You can recreate the bug with the following commands. The
"polyml-mlton-extra.tgz" includes the set of derived files that aren't
in the source distribution; it avoids the need to have MLton installed
to reproduce the bug.
Thanks. I've fixed that and it seems to compile all the way through now.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
