diff options
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index 4ba01310..32b6f1c7 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -247,6 +247,7 @@ and exp 'a = and lexp_aux 'a = (* lvalue expression *) | LEXP_id of id (* identifier *) | LEXP_memory of id * list (exp 'a) (* memory write via function call *) + | LEXP_cast of typ * id | LEXP_vector of (lexp 'a) * (exp 'a) (* vector element *) | LEXP_vector_range of (lexp 'a) * (exp 'a) * (exp 'a) (* subvector *) | LEXP_field of (lexp 'a) * id (* struct field *) |