Here's a one-expression reproduction formula for this bug:

=========
$ sml
Standard ML of New Jersey v110.62 [built: Thu Feb 22 13:17:37 2007]
- open LibBase;
[autoloading]
Error: (stable) $smlnj/smlnj-lib/smlnj-lib.cm: unable to find
$SMLNJ-LIB/Util/smlnj-lib.cm
(/home/kaol/deb/smlnj/smlnj-110.62/sml.boot.x86-unix/SMLNJ-LIB/Util/smlnj-lib.cm)

unexpected exception (bug?) in SML/NJ: Format [Format]
 raised at: ../cm/stable/stabilize.sml:257.15-257.21
            ../cm/stable/stabilize.sml:360.44
            ../compiler/TopLevel/interact/evalloop.sml:44.55
=========

This works perfectly fine on a Gentoo box (with a noticeably older
version, sorry I can't compare more directly):
=========
$ sml
Standard ML of New Jersey v110.55 [built: Wed Sep 21 22:03:11 2005]
- open LibBase;
[autoloading]
[autoloading done]
opening LibBase
 exception Unimplemented of string
 exception Impossible of string
 exception NotFound
 val failure : {func:string, module:string, msg:string} -> 'a
 val version : {date:string, system:string, version_id:int list}
 val banner : string
=========

If you need more detailed information about either of these systems,
I'd be happy to provide it.

Phil


--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to