diff options
| author | Kathy Gray | 2013-10-09 13:16:05 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-10-09 13:16:15 +0100 |
| commit | f4d8784a03abeeca6e06f906604944dfa88d6686 (patch) | |
| tree | 27cd3e2281c7ef5aa49cc49c9cd8988ca5488c16 /language | |
| parent | 7fc7628a981ba48b1bd017c7d8d2e4a68e428c65 (diff) | |
extend language of lexp to include memory writes
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 5 |
1 files changed, 3 insertions, 2 deletions
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 }} |