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

fix for freevars of sequential where

Browse Source
This commit is contained in:
Rajan Walia 2019-08-05 16:28:33 -07:00
parent 12805bef0e
commit 90120932a7
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Cryptol/IR/FreeVars.hs
View File

@ -118,7 +118,7 @@ instance FreeVars Expr where
EAbs x t e -> freeVars t <> rmVal x (freeVars e)
EProofAbs p e -> freeVars p <> freeVars e
EProofApp e -> freeVars e
EWhere e ds -> freeVars ds <> rmVals (defs ds) (freeVars e)
EWhere e ds -> rmVals (defs ds) (freeVars ds) <> rmVals (defs ds) (freeVars e)
instance FreeVars Match where
@ -178,6 +178,3 @@ instance Defs Match where
defs m = case m of
From x _ _ _ -> Set.singleton x
Let d -> defs d