diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index fb6c75e1..bdf56cc8 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -42,6 +42,7 @@ (* generated by Ott 0.25 from: l2_parse.ott *) +open Big_int type text = string @@ -130,7 +131,7 @@ type atyp_aux = (* expressions of all kinds, to be translated to types, nats, orders, and effects after parsing *) ATyp_id of id (* identifier *) | ATyp_var of kid (* ticked variable *) - | ATyp_constant of int (* constant *) + | ATyp_constant of big_int (* constant *) | ATyp_times of atyp * atyp (* product *) | ATyp_sum of atyp * atyp (* sum *) | ATyp_minus of atyp * atyp (* subtraction *) @@ -161,7 +162,7 @@ n_constraint_aux = (* constraint over kind $_$ *) | NC_bounded_ge of atyp * atyp | NC_bounded_le of atyp * atyp | NC_not_equal of atyp * atyp - | NC_set of kid * (int) list + | NC_set of kid * (big_int) list | NC_or of n_constraint * n_constraint | NC_and of n_constraint * n_constraint | NC_true @@ -204,7 +205,7 @@ lit_aux = (* Literal constant *) | L_one (* $_ : _$ *) | L_true (* $_ : _$ *) | L_false (* $_ : _$ *) - | L_num of int (* natural number constant *) + | L_num of big_int (* natural number constant *) | L_hex of string (* bit vector constant, C-style *) | L_bin of string (* bit vector constant, C-style *) | L_undef (* undefined value *) @@ -387,8 +388,8 @@ type_union = type index_range_aux = (* index specification, for bitfields in register types *) - BF_single of int (* single index *) - | BF_range of int * int (* index range *) + BF_single of big_int (* single index *) + | BF_range of big_int * big_int (* index range *) | BF_concat of index_range * index_range (* concatenation of index ranges *) and index_range = @@ -483,7 +484,7 @@ scattered_def = type prec = Infix | InfixL | InfixR -type fixity_token = (prec * int * string) +type fixity_token = (prec * big_int * string) type def = (* Top-level definition *) @@ -492,7 +493,7 @@ def = (* Top-level definition *) | DEF_fundef of fundef (* function definition *) | DEF_val of letbind (* value definition *) | DEF_overload of id * id list (* operator overload specifications *) - | DEF_fixity of prec * int * id (* fixity declaration *) + | DEF_fixity of prec * big_int * id (* fixity declaration *) | DEF_spec of val_spec (* top-level type constraint *) | DEF_default of default_typing_spec (* default kind and type assumptions *) | DEF_scattered of scattered_def (* scattered definition *) |