diff options
author | FrigoEU <simon.van.casteren@gmail.com> | 2019-08-01 09:57:46 +0200 |
---|---|---|
committer | FrigoEU <simon.van.casteren@gmail.com> | 2019-08-01 09:57:46 +0200 |
commit | 9e2b026fea11ae89a53d4fc1c674ef8e43b2c2ce (patch) | |
tree | 71528a1c22330d42f3b4de83b0579728438605c4 /src/mod_db.sml | |
parent | 80e7bb6165a5ad6517b35f301228f56b58eef39c (diff) |
Added file check to typeOf and always add Top and Basis to env in typeOf
Diffstat (limited to 'src/mod_db.sml')
-rw-r--r-- | src/mod_db.sml | 7 |
1 files changed, 6 insertions, 1 deletions
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) |