GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-29 01:45:36 +03:00
Code Issues Projects Releases Wiki Activity

Add missing case for max.

Browse Source 
Apparently this got lost at some point!
This commit is contained in:
Iavor S. Diatchki 2015-06-22 15:00:14 -07:00
parent 6785d7078c
commit c4c587d14b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Cryptol/TypeCheck/Solver/Numeric/SimplifyExpr.hs
View File

@ -183,6 +183,7 @@ crySimpExprStep1 expr =
(K Inf, _) -> Just inf
(_, K (Nat 0)) -> Just x
(_, K Inf) -> Just inf
(K a, K b) -> Just (K (IN.nMax a b))
_ | x == y -> Just x
_ -> Nothing