QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Change '=' to '::=' in GuardedDef

Browse Source
This commit is contained in:
Gaith Hallak 2022-08-03 14:11:16 +04:00
parent 7623cc2f35
commit 47d027c73f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/sophia_syntax.md
View File

@ -106,7 +106,7 @@ FunDecl ::= Id ':' Type // Type signature
| Id Args [':' Type] '=' Block(Stmt) // Definition | Id Args [':' Type] '=' Block(Stmt) // Definition
| Id Args [':' Type] Block(GuardedDef) // Guarded definitions | Id Args [':' Type] Block(GuardedDef) // Guarded definitions
GuardedDef = '|' Sep1(Expr, ',') '=' Block(Stmt) GuardedDef ::= '|' Sep1(Expr, ',') '=' Block(Stmt)
PragmaOp ::= '<' | '=<' | '==' | '>=' | '>' PragmaOp ::= '<' | '=<' | '==' | '>=' | '>'
Version ::= Sep1(Int, '.') Version ::= Sep1(Int, '.')