This was never used, and makes `print' allocate memory for no good
reason.
val reset : unit -> unit
val anyErrors : bool ref
val reset : unit -> unit
val anyErrors : bool ref
- val errorText : string ref
val fileName : string ref
val sourceStream : TextIO.instream ref
val fileName : string ref
val sourceStream : TextIO.instream ref
(* Initial values of compiler state variables *)
val anyErrors = ref false
val anyWarnings = ref false
(* Initial values of compiler state variables *)
val anyErrors = ref false
val anyWarnings = ref false
val fileName = ref ""
val lineNum = ref 1
val linePos = ref [1]
val sourceStream = ref TextIO.stdIn
val fileName = ref ""
val lineNum = ref 1
val linePos = ref [1]
val sourceStream = ref TextIO.stdIn
- fun print msg = (errorText := !errorText ^ msg;
- TextIO.print msg)
+ fun print msg = (TextIO.print msg)
(* Reset compiler to initial state *)
fun reset() = (anyErrors:=false;
anyWarnings:=false;
(* Reset compiler to initial state *)
fun reset() = (anyErrors:=false;
anyWarnings:=false;
fileName:="";
lineNum:=1;
linePos:=[1];
fileName:="";
lineNum:=1;
linePos:=[1];