diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott index a880527c..f0edda3f 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -583,6 +583,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 |