GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity

Fixes #492 incorrect simplification for tMax

Browse Source
This commit is contained in:
Iavor Diatchki 2018-01-03 09:56:47 -08:00
parent 989e5734ef
commit bc45e751d1
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/TypeCheck/SimpType.hs
View File

@ -260,7 +260,7 @@ tMax x y
| TCon (TF TCAdd) [a,b] <- t'
, Just n <- tIsNum a = if k <= n
then t
else tMax (tNum (k - n)) b
else tAdd (tNum n) (tMax (tNum (k - n)) b)
| TCon (TF TCSub) [a,b] <- t'
, Just n <- tIsNat' a =