diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 2848edc0..26cb9df7 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -98,7 +98,7 @@ base_effect_aux = (* effect *) | BE_unspec (* unspecified values *) | BE_nondet (* nondeterminism from intra-instruction parallelism *) | BE_escape - + | BE_config type kid_aux = (* identifiers with kind, ticked to differntiate from program variables *) @@ -496,6 +496,7 @@ kind_def_aux = (* Definition body for elements of kind; many are shorthands for type dec_spec_aux = (* Register declarations *) DEC_reg of atyp * id + | DEC_config of id * atyp * exp | DEC_alias of id * exp | DEC_typ_alias of atyp * id * exp |