From a37678c2cf668b4837cdf5d147f4c2f26b2634e9 Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Sat, 3 Aug 2019 10:37:07 +0200
Subject: Added comments and extracted typeOf/getInfo into seperate module

---
 src/mod_db.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/mod_db.sig')

diff --git a/src/mod_db.sig b/src/mod_db.sig
index 40cd52e2..fb396603 100644
--- a/src/mod_db.sig
+++ b/src/mod_db.sig
@@ -36,7 +36,8 @@ signature MOD_DB = sig
 
     val lookup : Source.decl -> Elab.decl option
 
-    val lookupForTooling : string -> (Elab.decl * Elab.decl list) option
+    val lookupModAndDepsIncludingErrored:
+        string -> (Elab.decl * Elab.decl list) option
 
     (* Allow undoing to snapshots after failed compilations. *)
     val snapshot : unit -> unit
-- 
cgit v1.2.3