36 lines
1.1 KiB
EBNF
36 lines
1.1 KiB
EBNF
// W3C EBNF syntax definition for Midas
|
|
Identifier ::= [a-zA-Z_] [a-zA-Z_0-9]*
|
|
|
|
Integer ::= '\d+'
|
|
Number ::= "-"? Integer ("." Integer)?
|
|
Boolean ::= "False" | "True"
|
|
None ::= "None"
|
|
|
|
Value ::= Number | Boolean | None
|
|
|
|
ComparisonOp ::= ">" | "<" | ">=" | "<="
|
|
EqualityOp ::= "==" | "!="
|
|
|
|
Grouping ::= "(" Constraint ")"
|
|
Primary ::= "_" | Value | Identifier | Grouping
|
|
Reference ::= Primary ("." Identifier)*
|
|
Unary ::= "-"? Unary | Reference
|
|
Comparison ::= Unary (ComparisonOp Unary)*
|
|
Equality ::= Comparison (EqualityOp Comparison)*
|
|
Constraint ::= Equality ("&" Equality)*
|
|
|
|
SimpleType ::= Identifier "?"?
|
|
Template ::= "[" Type "]"
|
|
Type ::= Identifier Template? "?"?
|
|
|
|
TypeProperty ::= Identifier ":" Type ("where" Constraints)?
|
|
ComplexTypeBody ::= "{" TypeProperty* "}"
|
|
OpDefinition ::= "op" Identifier "(" Type ")" "->" Type
|
|
ExtendBody ::= "{" OpDefinition* "}"
|
|
|
|
TypeStatement ::= "type" Identifier Template? ("(" Type ")" ("where" Constraint)? | ComplexTypeBody)
|
|
ExtendStatement ::= "extend" Type ExtendBody
|
|
PredicateStatement ::= "predicate" Identifier "(" Identifier ":" Type ")" "=" Constraint
|
|
|
|
Statement ::= TypeStatement | ExtendStatement | PredicateStatement
|