[MLton-devel] mlton bug

[Matthew Fluet]

> I get a segfault with the following program when compiled with
> -basis none:
>
> val _ = 1 = 2

I don't know if it is technically a bug; rather, I don't know what the
right behaviour is.  With -basis none (or -use-basis-library false), then
no suffix with exit success is appended to the program.  So, main tries to
"return" by an indirect jump to 0wx0.  Hence, segfault.

Maybe the right thing to do is to elaborate prefix and suffix inside the
basis implementation.  It's a little complicated since prefix and suffix
are -basis dependent, but I think it's doable.  Of course, then
-show-basis-used is going to have weird results, since it will look like
more of the basis is used than is available (which is true).
Anyways, I'm not sure what we expect -basis none to really do.  It's
pretty much useless -- types aren't even in scope, so you can't even write
down ffi-s.



-------------------------------------------------------
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