diff options
| author | Kathy Gray | 2014-03-03 00:04:32 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-03-03 00:04:32 +0000 |
| commit | 8c2995d69d7d6dbe5f4dbe15457b243b802179a0 (patch) | |
| tree | 5f8a37bfadd85f03b2ea87a8c3c72e3360db078c /language/l2.lem | |
| parent | d62ca20800439a4b1a31e028b3e4451330928bdb (diff) | |
Fixing assorted bugs. Adding ability to put a type on the identifier being assigned to in assignments.
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 *) |