From f4d8784a03abeeca6e06f906604944dfa88d6686 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 9 Oct 2013 13:16:05 +0100
Subject: extend language of lexp to include memory writes

---
 language/l2.ott | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index 11a57856..198e6e7a 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -686,8 +686,9 @@ lexp :: 'LEXP_' ::= {{ com lvalue expression }}
     {{ aux _ annot }} {{ auxparam 'a }}
     | id                                                  :: :: id
     {{ com identifier }}
-    | lexp [ exp ]  :: ::                         vector  {{ com vector element }}
-    | lexp [ exp1 : exp2 ]  :: ::              vector_range {{ com subvector }}
+    | id exp :: ::                                        memory {{ com memory write via function call }}
+    | lexp [ exp ]  :: ::                                 vector  {{ com vector element }}
+    | lexp [ exp1 : exp2 ]  :: ::                         vector_range {{ com subvector }}
     % maybe comma-sep such lists too
     | lexp . id :: :: field                        {{ com struct field }}
 
-- 
cgit v1.2.3