From 47d027c73f870d89f7ea09c25a57e43c9e2ce6b2 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Wed, 3 Aug 2022 14:11:16 +0400 Subject: [PATCH] Change '=' to '::=' in 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 9a4b748..d3fb383 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 = '|' Sep1(Expr, ',') '=' Block(Stmt) +GuardedDef ::= '|' Sep1(Expr, ',') '=' Block(Stmt) PragmaOp ::= '<' | '=<' | '==' | '>=' | '>' Version ::= Sep1(Int, '.')