GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-08 08:49:44 +03:00
Code Issues Projects Releases Wiki Activity

Make :browse handle shadowing of names from dynamic environment.

Browse Source 
Fixes #538.
This commit is contained in:
Brian Huffman 2018-09-17 11:04:45 -07:00
parent 634c5a03e7
commit 515642328a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Cryptol/REPL/Command.hs
View File

@ -801,7 +801,9 @@ quitCmd = stop
browseCmd :: String -> REPL ()
browseCmd input = do
(_,iface,names,disp) <- getFocusedEnv
(_, iface, fNames, disp) <- getFocusedEnv
denv <- getDynEnv
let names = M.deNames denv `M.shadowing` fNames
let mnames = map (M.textToModName . T.pack) (words input)
validModNames <- (:) M.interactiveName <$> getModNames