From 3515286a783fb1eb38acc001d23389dd67fdc910 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simonvancasteren@localhost.localdomain>
Date: Tue, 10 Dec 2019 21:12:59 +0100
Subject: First publishDiagnostics implementation

---
 src/errormsg.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/errormsg.sig')

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 4cf8b50a..1fa4013c 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -58,4 +58,7 @@ signature ERROR_MSG = sig
     val error : string -> unit
     val errorAt : span -> string -> unit
     val errorAt' : int * int -> string -> unit
+    val readErrorLog: unit ->
+                      { span: span
+                      , message: string } list
 end
-- 
cgit v1.2.3