diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 | ||||
| -rw-r--r-- | language/l2_parse.ott | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/language/l2.ott b/language/l2.ott index d7f03240..b760ca75 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -567,7 +567,7 @@ exp :: 'E_' ::= | exp [ exp' ] :: :: vector_access {{ com vector access }} - | exp [ exp1 : exp2 ] :: :: vector_subrange + | exp [ exp1 '..' exp2 ] :: :: vector_subrange {{ com subvector extraction }} % do we want to allow a comma-separated list of such thingies? @@ -632,7 +632,7 @@ lexp :: 'LEXP_' ::= {{ com lvalue expression }} | id ( exp1 , .. , expn ) :: :: memory {{ com memory write via function call }} | id exp :: S :: mem_tup {{ ichlo [[id (exp)]] }} | lexp [ exp ] :: :: vector {{ com vector element }} - | lexp [ exp1 : exp2 ] :: :: vector_range {{ com subvector }} + | lexp [ exp1 '..' exp2 ] :: :: vector_range {{ com subvector }} % maybe comma-sep such lists too | lexp . id :: :: field {{ com struct field }} diff --git a/language/l2_parse.ott b/language/l2_parse.ott index b617dc6c..2fbf860e 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -466,7 +466,7 @@ exp :: 'E_' ::= | exp [ exp' ] :: :: vector_access {{ com vector access }} - | exp [ exp1 : exp2 ] :: :: vector_subrange + | exp [ exp1 '..' exp2 ] :: :: vector_subrange {{ com subvector extraction }} % do we want to allow a comma-separated list of such thingies? |