[MLton-devel] minor nits with new compiler

[Henry Cejtin]

I  just  installed the new version of MLton and re-compiled some code which I
had compiled before using the previous official release.  The  code  uses  no
bignum  code  (i.e.,  no  mention of IntInf) and yet the resulting executable
depends on libgmp.  Also the generated code increased by 21%.  Of course  the
new version is 12% faster.

Any  way,  why  is  libgmp being pulled in?  Thie mseans that even code which
does not use IntInf will require the gmp shared library to be  installed  not
only in the compilers machine, but in the users machine.

The  weird  thing is that it doesn't really need any thing from libgmp.so.  I
made a libgmp.a which had no .o files in it and added
    -L .
to the mlton line, and got no missing externals and an executable which  does
NOT  depend on libgmp.so, and it works fine.  If the linker adds a dependency
on for all shared libraries mentioned, even those which  contribute  nothing,
then MLton will have to be made smart enough to drop the
    -lgmp
argument if it doesn't need any thing from libgmp.  Definitely a pain.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel