From 9e2b026fea11ae89a53d4fc1c674ef8e43b2c2ce Mon Sep 17 00:00:00 2001 From: FrigoEU Date: Thu, 1 Aug 2019 09:57:46 +0200 Subject: Added file check to typeOf and always add Top and Basis to env in typeOf --- src/mod_db.sml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/mod_db.sml') diff --git a/src/mod_db.sml b/src/mod_db.sml index fdf6d5ab..57d85195 100644 --- a/src/mod_db.sml +++ b/src/mod_db.sml @@ -214,7 +214,12 @@ fun lookupForTooling name = SOME (#Decl m, List.map (fn a => #Decl a) (List.mapPartial (fn d => SM.find (!byName, d)) - (SS.listItems (#Deps m)))) + (* Clumsy way of adding Basis and Top without adding doubles *) + (["Basis", "Top"] + @ + (List.filter + (fn x => x <> "Basis" andalso x <> "Top") + (SS.listItems (#Deps m)))))) val byNameBackup = ref (!byName) val byIdBackup = ref (!byId) -- cgit v1.2.3