diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 11b51f2a..d3e13c13 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -474,6 +474,8 @@ exp :: 'E_' ::= {{ com vector subrange update (with vector)}} % do we want a functional update form with a comma-separated list of such? + | exp : exp2 :: :: vector_append + {{ com vector concatenation }} % lists | [|| exp1 , .. , expn ||] :: :: list |