GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 18:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Don't touch fake names

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-16 15:40:15 -08:00
parent 7faf665fd3
commit b5d7cfed2b
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/ModuleSystem/Renamer.hs
View File

@ -264,7 +264,9 @@ renameModule' mname m =
module. This is used when the module is loaded at the command
line and users want to evalute things in the context of the
module -}
fuEnv <- lookupDefines (thing f')
fuEnv <- if isFakeName (thing f')
then pure mempty
else lookupDefines (thing f')
let ren x = Map.findWithDefault x x imap
-- XXX: This is not quite right as it only considers the things