GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-13 03:25:46 +03:00
Code Issues Projects Releases Wiki Activity

Avoid creating a new option when :set is used with a prefix of a name.

Browse Source 
Fixes #450.
This commit is contained in:
Brian Huffman 2017-10-04 21:22:59 -07:00
parent a9de74ed5d
commit 4b386477ec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/REPL/Monad.hs
View File

@ -538,7 +538,7 @@ setUser name val = case lookupTrieExact name userOptions of
writeEnv v
writeEnv ev =
do optEff opt ev
modifyRW_ (\rw -> rw { eUserEnv = Map.insert name ev (eUserEnv rw) })
modifyRW_ (\rw -> rw { eUserEnv = Map.insert (optName opt) ev (eUserEnv rw) })
splitOptArgs :: String -> [String]
splitOptArgs = unfoldr (parse "")