wip case for instances

1 files changed, 6 insertions, 2 deletions

diff --git a/src/parser.rs b/src/parser.rs
index 1aed3f8..d95c190 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -175,6 +175,9 @@ parser! {
 
         // instance layer
 
+        rule inst_case_arm() -> InstCaseArm
+        = t:inject() _ x:elem_var() _ "=>" _ body:instance() { InstCaseArm { tag: t, bound: x, body } }
+
         rule inst_assign() -> InstAssign
         = n:project_upper() _ "=" _ i:instance()
         { InstAssign { name: n, instance: i } }
@@ -183,9 +186,9 @@ parser! {
         = _ s:set() _ "::" _ kw_Set() _ { s }
 
         rule atom_inst() -> Instance
-        = v:inst_var() { Instance::Var(v) }
+        = s:explicit_set_coerce() { Instance::SetCoerce(Box::new(s)) }
+        / v:inst_var() { Instance::Var(v) }
         / f:sig_var() { Instance::Var(f) }
-        / s:explicit_set_coerce() { Instance::SetCoerce(Box::new(s)) }
         / "{" fs:(inst_assign() ** ",") _ "}" { Instance::Record(fs) }
         / "(" _ i:instance() _ ")" { i }
 
@@ -207,6 +210,7 @@ parser! {
 
         rule instance() -> Instance
         = kw_for() __ ps:param_list() _ "," _ body:instance() { Instance::For { params: ps, body: Box::new(body) } }
+        / kw_case() __ scrut:element() _ kw_of() _ "[" arms:(_ a:inst_case_arm() _ { a }) ** "|"  _ "]" { Instance::Case { scrutinee: Box::new(scrut), arms } }
         / app_inst()
 
         // declarations