[MLton] bug in MLton.share?

Stephen Weeks MLton@mlton.org
Mon, 17 Apr 2006 13:03:06 -0700

> I just tried to compile my program with -debug true and the compile
> fails because -lmlton-gdb (i.e., libmlton-gdb.a) is not part of the
> Debian package.  It also isn't part of the .tgz download (I didn't
> check the rpm).  Is this an error? 

It was a concious decision.  The debug library is a couple of meg
gzipped, and people who use the debug library are probably OK with
building MLton from source.