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]