diff options
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 1c70a97b..141dd6f4 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -30,9 +30,9 @@ let hardware_quot (a:integer) (b:integer) : integer = let (max_64u : integer) = integerFromNat ((natPow 2 64) - 1) let (max_64 : integer) = integerFromNat ((natPow 2 63) - 1) let (min_64 : integer) = integerNegate (integerFromNat (natPow 2 63)) -let (max_32u : integer) = integerFromNat 4294967295 -let (max_32 : integer) = integerFromNat 2147483647 -let (min_32 : integer) = integerNegate (integerFromNat 2147483648) +let (max_32u : integer) = integerFromNat (natPow 2 32) (*4294967295*) +let (max_32 : integer) = integerFromNat ((natPow 2 31) - 1) (*2147483647*) +let (min_32 : integer) = integerNegate (integerFromNat (natPow 2 31)) (*2147483648*) let (max_8 : integer) = (integerFromNat 127) let (min_8 : integer) = (integerFromNat 0) - (integerFromNat 128) let (max_5 : integer) = (integerFromNat 31) |