diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/sail.ott b/language/sail.ott index ce05797f..8469e029 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -830,6 +830,7 @@ lexp :: 'LEXP_' ::= {{ com lvalue expression }} | ( typ ) id :: :: cast {{ com cast }} | ( lexp0 , .. , lexpn ) :: :: tup {{ com multiple (non-memory) assignment }} + | lexp1 @ ... @ lexpn :: :: vector_concat {{ com vector concatenation L-exp }} | lexp [ exp ] :: :: vector {{ com vector element }} | lexp [ exp1 '..' exp2 ] :: :: vector_range {{ com subvector }} % maybe comma-sep such lists too |