From 80e7bb6165a5ad6517b35f301228f56b58eef39c Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Wed, 31 Jul 2019 15:13:18 +0200
Subject: first iteration of "typeOf" command

---
 src/mod_db.sml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/mod_db.sml')

diff --git a/src/mod_db.sml b/src/mod_db.sml
index de428570..fdf6d5ab 100644
--- a/src/mod_db.sml
+++ b/src/mod_db.sml
@@ -207,6 +207,15 @@ fun lookup (d : Source.decl) =
                  NONE)
       | _ => NONE
 
+fun lookupForTooling name =
+    case SM.find (!byName, name) of
+        NONE => NONE
+      | SOME m =>
+        SOME (#Decl m, List.map (fn a => #Decl a)
+                                (List.mapPartial
+                                     (fn d => SM.find (!byName, d))
+                                     (SS.listItems (#Deps m))))
+
 val byNameBackup = ref (!byName)
 val byIdBackup = ref (!byId)
 
-- 
cgit v1.2.3