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

Remove debugging output.

Browse Source
This commit is contained in:
Brian Huffman 2018-06-20 11:11:51 -07:00
parent ea9e15b8b9
commit 6364c172ee
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/Instantiate.hs
View File

@ -169,7 +169,5 @@ doInst su' e ps t =
checkInst :: (TParam, Type) -> InferM [Prop]
checkInst (tp, ty)
| Set.notMember tp bounds = return []
| otherwise =
do io $ putStrLn $ unwords ["checkInst: unify", show (pp tp), show (pp ty)]
unify (TVar (tpVar tp)) ty
| otherwise = unify (TVar (tpVar tp)) ty