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

Merge branch 'master' of github.com:GaloisInc/cryptol

Browse Source
This commit is contained in:
Iavor Diatchki 2018-06-19 17:29:09 -07:00
commit 287abbf19f
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Cryptol/TypeCheck/Monad.hs
View File

@ -508,7 +508,7 @@ extendSubst :: Subst -> InferM ()
extendSubst su =
do IM $ sets_ $ \s -> s { iSubst = su @@ iSubst s }
bound <- getBoundInScope
let suBound = Set.filter isTVBound (Set.unions (map (fvs . snd) (substToList su)))
let suBound = Set.filter isBoundTV (Set.unions (map (fvs . snd) (substToList su)))
let escaped = Set.difference suBound bound
if Set.null escaped then return () else
panic "Cryptol.TypeCheck.Monad.extendSubst"
@ -518,8 +518,6 @@ extendSubst su =
, "Escaped: " ++ show (brackets (commaSep (map pp (Set.toList escaped))))
]
where
isTVBound (TVBound {}) = True
isTVBound (TVFree {}) = False
su_binds = substToList su
ppBinding (v,x) = pp v <+> text ":=" <+> pp x