computing cases

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);