# HG changeset patch # User wenzelm # Date 1127243381 -7200 # Node ID a436d89845af124e122fc3a7e74839c9458d76fa # Parent 2a602a8462d5e0dd9dd00c1c0fb9633de0740a04 use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt; diff -r 2a602a8462d5 -r a436d89845af src/Pure/ML-Systems/smlnj.ML --- a/src/Pure/ML-Systems/smlnj.ML Tue Sep 20 20:16:55 2005 +0200 +++ b/src/Pure/ML-Systems/smlnj.ML Tue Sep 20 21:09:41 2005 +0200 @@ -69,12 +69,6 @@ (*dummy implementation*) fun exception_trace f = f (); -(case #version_id (Compiler.version) of - [110, x] => if x >= 44 - then use "ML-Systems/smlnj-basis-compat.ML" - else () -| _ => ()); - (* toplevel pretty printing (see also Pure/install_pp.ML) *) @@ -143,6 +137,12 @@ end; +(case #version_id (Compiler.version) of + [110, x] => if x >= 44 + then use "ML-Systems/smlnj-basis-compat.ML" + else () +| _ => ()); + (** Signal handling: emulation of the Poly/ML Signal structure. Note that types Posix.Signal.signal and Signals.signal differ **)