GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-13 23:41:38 +03:00
Code Issues Projects Releases Wiki Activity

Don't add extra dependency for the same module

Browse Source
This commit is contained in:
Iavor Diatchki 2021-03-12 11:50:35 -08:00
parent fad47f57da
commit c1914ccc60
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/ModuleSystem/Renamer/Monad.hs
View File

@ -293,7 +293,7 @@ addDep :: Name -> RenameM ()
addDep x =
do cur <- getCurMod
deps <- case nameInfo x of
Declared m _ | cur `containsModule` m ->
Declared m _ | cur /= m && cur `containsModule` m ->
do mb <- nestedModuleOrig m
pure case mb of
Just y -> Set.fromList [x,y]