diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 8ce5e77d..3951ab51 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -234,6 +234,7 @@ pat_aux = (* Pattern *) | P_as of pat * id (* named pattern *) | P_typ of atyp * pat (* typed pattern *) | P_id of id (* identifier *) + | P_var of kid | P_app of id * (pat) list (* union constructor pattern *) | P_record of (fpat) list * bool (* struct pattern *) | P_vector of (pat) list (* vector pattern *) @@ -283,6 +284,8 @@ exp_aux = (* Expression *) | E_sizeof of atyp | E_constraint of n_constraint | E_exit of exp + | E_throw of exp + | E_try of exp * pexp list | E_return of exp | E_assert of exp * exp |