errormsg: remove errorText

[hcoop/domtool2.git] / src / errormsg.sml

diff --git a/src/errormsg.sml b/src/errormsg.sml
index 5c04589..9a3b975 100644 (file)
--- a/src/errormsg.sml
+++ b/src/errormsg.sml
@@ -7,19 +7,16 @@ structure ErrorMsg :> ERRORMSG =
     (* Initial values of compiler state variables *)
     val anyErrors = ref false
     val anyWarnings = ref false
-    val errorText = ref ""
     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;
-                  errorText:="";
                    fileName:="";
                    lineNum:=1;
                    linePos:=[1];