Merge pull request #186 from FrigoEU/lsp

Language Server Protocol (LSP)

1 files changed, 8 insertions, 0 deletions

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 92425842..1fa4013c 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -48,9 +48,17 @@ signature ERROR_MSG = sig
     val posOf : int -> pos
     val spanOf : int * int -> span
 
+    (* To monitor in which modules the elaboration phase finds errors *)
+    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
     val errorAt : span -> string -> unit
     val errorAt' : int * int -> string -> unit
+    val readErrorLog: unit ->
+                      { span: span
+                      , message: string } list
 end