diff options
Diffstat (limited to 'src/Transfer/Core/Core.cf')
| -rw-r--r-- | src/Transfer/Core/Core.cf | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf index b58470148..de99eb5de 100644 --- a/src/Transfer/Core/Core.cf +++ b/src/Transfer/Core/Core.cf @@ -47,6 +47,9 @@ separator LetDef ";" ; -- Case expressions. ECase. Exp ::= "case" Exp "of" "{" [Case] "}" ; +Case. Case ::= Pattern "|" Exp "->" Exp ; +separator Case ";" ; + -- Lambda abstractions. EAbs. Exp2 ::= "\\" PatternVariable "->" Exp ; @@ -88,10 +91,6 @@ token TMeta ('?' digit+) ; coercions Exp 5 ; -Case. Case ::= Pattern "->" Exp ; -separator Case ";" ; - - -- Identifiers in core can start with underscore to allow -- generating unique identifiers easily. token CIdent ((letter | '_') (letter | digit | '_' | '\'')*) ; |