summaryrefslogtreecommitdiff
path: root/language/l2.lem
diff options
context:
space:
mode:
authorKathy Gray2013-10-09 15:36:10 +0100
committerKathy Gray2013-10-09 15:36:10 +0100
commitcaed2d0e87df23cf18e2b332066e146b2e40f53d (patch)
treeab9d1076e0f5dd388fc858823a3b6c86a2084d89 /language/l2.lem
parentf4d8784a03abeeca6e06f906604944dfa88d6686 (diff)
Adding memory writes. Cleaning up the let in the ott file to reflect what actually parses
Diffstat (limited to 'language/l2.lem')
-rw-r--r--language/l2.lem1
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem
index 51831898..20d5c7b7 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -188,6 +188,7 @@ and exp = (* Expression *)
and lexp = (* lvalue expression *)
| LEXP_id of id (* identifier *)
+ | LEXP_memory of id * exp (* memory write via function call *)
| LEXP_vector of lexp * exp (* vector element *)
| LEXP_vector_range of lexp * exp * exp (* subvector *)
| LEXP_field of lexp * id (* struct field *)