Label syntax errors with module name

mwh · Jun 22, 2011 · 6d5a583 · 6d5a583
1 parent 560d39d
commit 6d5a583
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/util.gc b/util.gc
@@ -102,7 +102,12 @@ method outprint(s) {
     outfilev.write("\n")
 }
 method syntax_error(s) {
-    io.error.write("Syntax error around line " ++ linenumv ++ ": ")
+    io.error.write("minigrace")
+    if (vtagv) then {
+        io.error.write("[" ++ vtagv ++ "]")
+    }
+    io.error.write(": " ++ modnamev ++ ": Syntax error around line "
+        ++ linenumv ++ ": ")
     io.error.write(s)
     io.error.write("\l")
     raise("Syntax error: "++ s)