diff options
Diffstat (limited to 'src/parser.rs')
| -rw-r--r-- | src/parser.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser.rs b/src/parser.rs index 5dd777b..958f09d 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -169,7 +169,7 @@ parser! { = t:inject() _ x:elem_var() _ "=>" _ body:element() { CaseArm { tag: t, bound: x, body } } rule element() -> Element - = kw_case() __ scrut:element() _ kw_of() _ "{" arms:(_ a:case_arm() _ { a }) ** "|" _ "}" { Element::Case { scrutinee: Box::new(scrut), arms } } + = kw_case() __ scrut:element() _ kw_of() _ "[" arms:(_ a:case_arm() _ { a }) ** "|" _ "]" { Element::Case { scrutinee: Box::new(scrut), arms } } / d:dot_elem() { d } // instance layer @@ -263,10 +263,10 @@ let set Maybe = variant [ fn test_elements() { let src = r#" let element foo : Nat = - case some. config .count of { + case some. config .count of [ none. ignore => 0 | some. n => n - } + ] "#; debug_parse(src); |