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

Fixing a type constraint solver bug submitted by Jaak Randmets,

Browse Source 
verified by Iavor. Regression tests passed.
This commit is contained in:
Dylan McNamee 2014-04-28 10:17:11 -07:00
parent 3e0ce32888
commit 3188a212b5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -250,8 +250,8 @@ exportType ty =
err = panic "exportType" [ "Unexpected type", show ty ]
exportVar :: TVar -> Int
exportVar (TVFree x _ _ _) = x * x
exportVar (TVBound x _) = 2 * x + 1
exportVar (TVFree x _ _ _) = 2 * x -- Free vars are even
exportVar (TVBound x _) = 2 * x + 1 -- Bound vars are odd
--------------------------------------------------------------------------------