From c4061701b025583610f7e9e512711ce593f5c0b4 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Wed, 3 Aug 2022 00:23:56 +0400 Subject: [PATCH] Use Sep1 instead of Sep for the GuardedDef --- docs/sophia_syntax.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sophia_syntax.md b/docs/sophia_syntax.md index 6cdd9c8..a49eb0e 100644 --- a/docs/sophia_syntax.md +++ b/docs/sophia_syntax.md @@ -106,7 +106,7 @@ FunDecl ::= Id ':' Type // Type signature | Id Args [':' Type] '=' Block(Stmt) // Definition | Id Args [':' Type] Block(GuardedDef) // Guarded definitions -GuardedDef = '|' Sep(Expr, ',') '=' Block(Stmt) +GuardedDef = '|' Sep1(Expr, ',') '=' Block(Stmt) PragmaOp ::= '<' | '=<' | '==' | '>=' | '>' Version ::= Sep1(Int, '.')