Add guarded case for switches

2022-08-03 00:26:06 +04:00 · 2022-08-03 00:26:06 +04:00 · 7623cc2f35
commit 7623cc2f35
parent c4061701b0
1 changed files with 4 additions and 0 deletions
--- a/docs/sophia_syntax.md
+++ b/docs/sophia_syntax.md
@ -182,6 +182,10 @@ LetDef ::= Id Args [':' Type] '=' Block(Stmt)   // Function definition
         | Pattern '=' Block(Stmt)              // Value definition

 Case    ::= Pattern '=>' Block(Stmt)
+          | Pattern Block(GuardedCase)
+
+GuardedCase ::= '|' Sep1(Expr, ',') '=>' Block(Stmt)
+
 Pattern ::= Expr
 ```