author | wenzelm |
Wed, 27 Sep 2006 23:41:10 +0200 | |
changeset 20745 | c35b225a437e |
parent 17514 | 1d7771a659f6 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/smlnj-basis-compat.ML ID: $Id$ Author: Sebastian Skalberg (TU Muenchen) Compatibility file for Standard ML of New Jersey 110.44 or later. Here signatures that have changed to adhere to the SML Basis Library are changed back to their old values. *) structure TextIO = struct open TextIO; fun inputLine is = (case TextIO.inputLine is of SOME str => str | NONE => "") handle IO.Io _ => raise Interrupt; end;