From 36a9377163ecd3300f7b9ad3c4d8e93d97ce41ff Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 24 Apr 2026 10:44:41 +0100
Subject: computing cases

---
 src/parser.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/parser.rs')

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);
-- 
cgit v1.3.1