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.sig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/errormsg.sig')

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 92425842..b4a508d9 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -48,6 +48,10 @@ signature ERROR_MSG = sig
     val posOf : int -> pos
     val spanOf : int * int -> span
 
+    val startElabStructure : string -> unit
+    val stopElabStructureAndGetErrored : string -> bool (* Did the module elab encounter errors? *)
+
+    val resetStructureTracker: unit -> unit
     val resetErrors : unit -> unit
     val anyErrors : unit -> bool
     val error : string -> unit
-- 
cgit v1.2.3