diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 | ||||
| -rw-r--r-- | language/l2_parse.ott | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/language/l2.ott b/language/l2.ott index f0edda3f..5d1994e2 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -561,7 +561,7 @@ exp :: 'E_' ::= % here the expi are of type 'a and the result is a vector of 'a, whereas in exp1 : ... : expn % the expi and the result are both of type vector of 'a - | [ num1 = exp1 , ... , numn = expn , opt_default ] :: :: vector_indexed {{ com vector (indexed consecutively) }} + | [ num1 = exp1 , ... , numn = expn opt_default ] :: :: vector_indexed {{ com vector (indexed consecutively) }} % num1 .. numn must be a consecutive list of naturals % we pick [ ] not { } for vector literals for consistency with their @@ -661,7 +661,7 @@ opt_default :: 'Def_val_' ::= {{ com Optional default value for indexed vectors, to define a defualt value for any unspecified positions in a sparse map }} {{ aux _ annot }} {{ auxparam 'a }} | :: :: empty - | default = exp :: :: dec + | ; default = exp :: :: dec pexp :: 'Pat_' ::= {{ com Pattern match }} diff --git a/language/l2_parse.ott b/language/l2_parse.ott index f1149301..03c50d08 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -452,7 +452,7 @@ exp :: 'E_' ::= % here the expi are of type 'a and the result is a vector of 'a, whereas in exp1 : ... : expn % the expi and the result are both of type vector of 'a - | [ exp1 , ... , expn , opt_default ] :: :: vector_indexed {{ com vector (indexed consecutively) }} + | [ exp1 , ... , expn opt_default ] :: :: vector_indexed {{ com vector (indexed consecutively) }} % num1 .. numn must be a consecutive list of naturals % we pick [ ] not { } for vector literals for consistency with their @@ -550,7 +550,7 @@ opt_default :: 'Def_val_' ::= {{ com Optional default value for indexed vectors, to define a defualt value for any unspecified positions in a sparse map }} {{ aux _ l }} | :: :: empty - | default = exp :: :: dec + | ; default = exp :: :: dec pexp :: 'Pat_' ::= {{ com Pattern match }} |