diff options
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/language/l2.ml b/language/l2.ml index 538cd234..5b924498 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -1,15 +1,13 @@ (* generated by Ott 0.25 from: l2.ott *) -type text = string - type l = Parse_ast.l type 'a annot = l * 'a -type x = text (* identifier *) -type ix = text (* infix identifier *) +type x = string (* identifier *) +type ix = string (* infix identifier *) type base_kind_aux = (* base kind *) @@ -31,7 +29,7 @@ id_aux = (* identifier *) type -kid_aux = (* kinded IDs: _, _, _, and _ variables *) +kid_aux = (* kinded IDs: $_$, $_$, $_$, and $_$ variables *) Var of x @@ -56,7 +54,7 @@ kind = type -nexp_aux = (* numeric expression, of kind _ *) +nexp_aux = (* numeric expression, of kind $_$ *) Nexp_id of id (* abbreviation identifier *) | Nexp_var of kid (* variable *) | Nexp_constant of int (* constant *) @@ -82,8 +80,8 @@ base_effect_aux = (* effect *) | BE_depend (* dynamic footprint *) | BE_undef (* undefined-instruction exception *) | BE_unspec (* unspecified values *) - | BE_nondet (* nondeterminism, from _ *) - | BE_escape (* potential call of _ *) + | BE_nondet (* nondeterminism, from $_$ *) + | BE_escape (* potential call of $_$ *) | BE_lset (* local mutation; not user-writable *) | BE_lret (* local return; not user-writable *) @@ -94,14 +92,14 @@ base_effect = type -order_aux = (* vector order specifications, of kind _ *) +order_aux = (* vector order specifications, of kind $_$ *) Ord_var of kid (* variable *) | Ord_inc (* increasing *) | Ord_dec (* decreasing *) type -effect_aux = (* effect set, of kind _ *) +effect_aux = (* effect set, of kind $_$ *) Effect_var of kid | Effect_set of (base_effect) list (* effect set *) @@ -141,9 +139,9 @@ n_constraint = type -quant_item_aux = (* kinded identifier or _ constraint *) +quant_item_aux = (* kinded identifier or $_$ constraint *) QI_id of kinded_id (* optionally kinded identifier *) - | QI_const of n_constraint (* _ constraint *) + | QI_const of n_constraint (* $_$ constraint *) type @@ -449,7 +447,7 @@ type type 'a kind_def_aux = (* Definition body for elements of kind *) - KD_nabbrev of kind * id * name_scm_opt * nexp (* _-expression abbreviation *) + KD_nabbrev of kind * id * name_scm_opt * nexp (* $_$-expression abbreviation *) | KD_abbrev of kind * id * name_scm_opt * typschm (* type abbreviation *) | KD_record of kind * id * name_scm_opt * typquant * ((typ * id)) list * bool (* struct type definition *) | KD_variant of kind * id * name_scm_opt * typquant * (type_union) list * bool (* union type definition *) |