diff options
| author | Kathy Gray | 2014-11-19 15:11:10 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-19 15:11:10 +0000 |
| commit | 5061736ad8ad9e4250f0854432a6ab19c750a896 (patch) | |
| tree | 96b01921c742586cc654dc650c246f089b133bac | |
| parent | c34462722ec2b17353784cd4e7caa42ac5dddf04 (diff) | |
Be 32-bit friendly
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 0eb7f5e6..8e68c3c4 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -775,7 +775,7 @@ let nat_t = {t = Tapp("range",[TA_nexp{nexp= Nconst zero};TA_nexp{nexp = Npos_in let int_t = {t = Tapp("range",[TA_nexp{nexp=Nneg_inf};TA_nexp{nexp = Npos_inf};])} let uint8_t = {t = Tapp("range",[TA_nexp{nexp = Nconst zero}; TA_nexp{nexp = N2n({nexp = Nconst (big_int_of_int 8)},Some (big_int_of_int 256))}])} let uint16_t = {t = Tapp("range",[TA_nexp{nexp = Nconst zero}; TA_nexp{nexp = N2n({nexp = Nconst (big_int_of_int 16)},Some (big_int_of_int 65536))}])} -let uint32_t = {t = Tapp("range",[TA_nexp{nexp = Nconst zero}; TA_nexp{nexp = N2n({nexp = Nconst (big_int_of_int 32)},Some (big_int_of_int 4294967296))}])} +let uint32_t = {t = Tapp("range",[TA_nexp{nexp = Nconst zero}; TA_nexp{nexp = N2n({nexp = Nconst (big_int_of_int 32)},Some (big_int_of_string "4294967296"))}])} let uint64_t = {t = Tapp("range",[TA_nexp{nexp = Nconst zero}; TA_nexp{nexp = N2n({nexp = Nconst (big_int_of_int 64)},Some (big_int_of_string "18446744073709551616"))}])} let unit_t = { t = Tid "unit" } |