diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 3ef811bb..b2e9cfdf 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -177,7 +177,7 @@ atyp :: 'ATyp_' ::= | pure :: M :: pure {{ com sugar for empty effect set }} {{ icho [] }} | atyp1 -> atyp2 effect atyp3 :: :: fn {{ com Function type (first-order only in user code), last atyp is an effect }} - | atyp1 * .... * atypn :: :: tup + | ( atyp1 , .... , atypn ) :: :: tup {{ com Tuple type }} | id < atyp1 , .. , atypn > :: :: app {{ com type constructor application }} |