From 562694cbb5beb31906610b7eabf42a56087673b5 Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Sun, 7 Jul 2019 17:55:02 +0200
Subject: First iteration of more detailed elaboration caching

---
 src/errormsg.sml | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

(limited to 'src/errormsg.sml')

diff --git a/src/errormsg.sml b/src/errormsg.sml
index 8f3c93b1..eee20768 100644
--- a/src/errormsg.sml
+++ b/src/errormsg.sml
@@ -88,12 +88,31 @@ fun spanOf (pos1, pos2) = {file = !file,
 
 
 val errors = ref false
+val structuresCurrentlyElaborating: ((string * bool) list) ref = ref nil
+
+fun startElabStructure s =
+    structuresCurrentlyElaborating := ((s, false) :: !structuresCurrentlyElaborating)
+fun stopElabStructureAndGetErrored s =
+    let 
+        val errored =
+            case List.find (fn x => #1 x = s) (!structuresCurrentlyElaborating) of
+                NONE => false
+              | SOME tup => #2 tup
+        val () = structuresCurrentlyElaborating :=
+                 (List.filter (fn x => #1 x <> s) (!structuresCurrentlyElaborating))
+    in 
+        errored
+    end
+fun resetStructureTracker () =
+    structuresCurrentlyElaborating := []
 
 fun resetErrors () = errors := false
 fun anyErrors () = !errors
 fun error s = (TextIO.output (TextIO.stdErr, s);
                TextIO.output1 (TextIO.stdErr, #"\n");
-               errors := true)
+               errors := true;
+               structuresCurrentlyElaborating :=
+                 List.map (fn (s, e) => (s, true)) (!structuresCurrentlyElaborating))
 
 fun errorAt (span : span) s = (TextIO.output (TextIO.stdErr, #file span);
                                TextIO.output (TextIO.stdErr, ":");
-- 
cgit v1.2.3