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