From faff2d8ac927fd49f13fbaf9b84ffc99bbb6f9b8 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simonvancasteren@localhost.localdomain>
Date: Thu, 12 Dec 2019 22:44:50 +0100
Subject: Added tracking of text of source files and autocomplete

---
 src/getinfo.sig | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'src/getinfo.sig')

diff --git a/src/getinfo.sig b/src/getinfo.sig
index 334e19f1..50eee70a 100644
--- a/src/getinfo.sig
+++ b/src/getinfo.sig
@@ -26,11 +26,29 @@
  *)
 
 signature GET_INFO = sig 
+
+    datatype item =
+             Kind of Elab.kind
+             | Con of Elab.con
+             | Exp of Elab.exp
+             | Sgn_item of Elab.sgn_item
+             | Sgn of Elab.sgn
+             | Str of Elab.str
+             | Decl of Elab.decl
+
     val getInfo:
         ElabEnv.env ->
         Elab.str' ->
         string (* fileName *) ->
         { line: int , character: int} ->
-        Print.PD.pp_desc
+        { smallest : { span : ErrorMsg.span
+                     , item : item
+                     , env : ElabEnv.env }
+        , smallestgoodpart : { span : ErrorMsg.span
+                             , desc : Print.PD.pp_desc
+                             , env : ElabEnv.env
+                             , item : item
+                             } option
+}
 end
     
-- 
cgit v1.2.3