Grammar

Program

→ HeaderDecl* Declaration* EOF

HeaderDecl

→ ImportDecl | ExportDecl

Used by Program

ImportDecl

→ "import" ImportPath ";"

Used by HeaderDecl

ExportDecl

→ "export" ImportPath ";"

Used by HeaderDecl

ImportPath

→ PathRoot "::" ImportTree

Used by ImportDeclExportDecl

PathRoot

→ "root" | "std" | "self" | "super" | IDENTIFIER

Used by ImportPath

ImportTree

→ ImportItem| IDENTIFIER "::" ImportTree| "{" ImportItem ( "," ImportItem )* ","? "}"| "*"

Used by ImportPath

ImportItem

→ IDENTIFIER ( "as" IDENTIFIER )?

Used by ImportTree

Declaration

→ LetDeclaration| VarDeclaration| FunDeclaration| StructDeclaration| EnumDeclaration| ExtendBlock| AspectDeclaration| Statement

Used by ProgramBlock

LetDeclaration

→ "let" IDENTIFIER ( ":" Type )? "=" Expression ";"

Used by Declaration

VarDeclaration

→ "var" IDENTIFIER ( ":" Type )? "=" Expression ";"

Used by DeclarationForInit

FunDeclaration

→ NativeBinding? "public"? "fun" IDENTIFIER GenericParams? "(" Params? ")" ( "->" Type )? WhereClause? ( Block | ";" )

Used by DeclarationExtendBlock

NativeBinding

→ "native" "(" "@" IDENTIFIER ( "." IDENTIFIER )* ")"

Used by FunDeclaration

StructDeclaration

→ "public"? "struct" IDENTIFIER GenericParams? WhereClause? "{" StructFields "}"

Used by Declaration

EnumDeclaration

→ "public"? "enum" IDENTIFIER GenericParams? WhereClause? "{" EnumVariants "}"

Used by Declaration

ExtendBlock

→ "extend" GenericParams? Type ( ":" ExtendAspectList )? WhereClause? ( "{" ( FunDeclaration | AssocTypeDef )* "}" | ";" )

Used by Declaration

AspectDeclaration

→ "public"? "aspect" IDENTIFIER GenericParams? ( "{" ( AssocTypeDecl | AspectMethod )* "}" | ";" )

Used by Declaration

AspectMethod

→ "fun" IDENTIFIER "(" Params? ")" ( "->" Type )? ( Block | ";" )

Used by AspectDeclaration

ExtendAspectList

→ Bound ( "," Bound )*

Used by ExtendBlock

AssocTypeDef

→ "type" IDENTIFIER ( "=" Type )? ";"

Used by ExtendBlock

AssocTypeDecl

→ "type" IDENTIFIER ( ":" BoundList )? ";"

Used by AspectDeclaration

Params

→ Param ( "," Param )* ","?

Used by FunDeclarationAspectMethodClosureExpression

Param

→ "self" | "&self" | "&var self" | IDENTIFIER ( ":" Type )?

Used by Params

StructFields

→ StructField ( "," StructField )* ","?

Used by StructDeclarationEnumVariant

StructField

→ "public"? IDENTIFIER ":" Type

Used by StructFields

EnumVariants

→ EnumVariant ( "," EnumVariant )* ","?

Used by EnumDeclaration

EnumVariant

→ IDENTIFIER ( "{" StructFields "}" )?

Used by EnumVariants

GenericParams

→ "<" GenericParam ( "," GenericParam )* ">"

Used by FunDeclarationStructDeclarationEnumDeclarationExtendBlockAspectDeclaration

GenericParam

→ IDENTIFIER ( ":" BoundList )?

Used by GenericParams

BoundList

→ Bound ( "+" Bound )*

Used by AssocTypeDeclGenericParamWhereConstraint

Bound

→ "!"? BoundHead

Used by ExtendAspectListBoundList

BoundHead

→ IDENTIFIER ( "<" TypeArgs ">" )? | "(" TypeList? ")" "->" Type

Used by Bound

WhereClause

→ "where" WhereConstraint ( "," WhereConstraint )*

Used by FunDeclarationStructDeclarationEnumDeclarationExtendBlock

WhereConstraint

→ IDENTIFIER ":" BoundList

Used by WhereClause

Statement

→ ExpressionStatement| Block| IfStatement| WhileStatement| ForStatement| LoopStatement| ReturnStatement| BreakStatement| ContinueStatement

Used by Declaration

ExpressionStatement

→ Expression ";"

Used by StatementForInit

Block

→ "{" Declaration* "}"

Used by FunDeclarationAspectMethodStatementIfStatementWhileStatementForStatementLoopStatementIfExpressionLoopExpressionClosureExpression

IfStatement

→ "if" "(" Expression ")" Block ( "else" ( IfStatement | Block ) )?

Used by Statement

WhileStatement

→ "while" "(" Expression ")" Block

Used by Statement

ForStatement

→ "for" "(" ForInit Expression? ";" Expression? ")" Block| "for" "(" "let" IDENTIFIER "in" Expression ")" Block| "for" "(" "var" IDENTIFIER "in" Expression ")" Block

Used by Statement

ForInit

→ VarDeclaration | ExpressionStatement | ";"

Used by ForStatement

LoopStatement

→ "loop" Block

Used by Statement

ReturnStatement

→ "return" Expression? ";"

Used by Statement

BreakStatement

→ "break" Expression? ";"

Used by Statement

ContinueStatement

→ "continue" ";"

Used by Statement

Expression

→ AssignmentExpression

Used by LetDeclarationVarDeclarationExpressionStatementIfStatementWhileStatementForStatementReturnStatementBreakStatementLValuePostfixExpressionArgumentsPrimaryExpressionFieldInitMatchExpressionMatchArmIfExpression

AssignmentExpression

→ LValue AssignOp AssignmentExpression | LogicalOrExpression

Used by Expression

LValue

→ IDENTIFIER | CallExpression "." IDENTIFIER | CallExpression "[" Expression "]"

Used by AssignmentExpression

AssignOp

→ "=" | "+=" | "-=" | "*=" | "/=" | "%="

Used by AssignmentExpression

LogicalOrExpression

→ LogicalAndExpression ( "||" LogicalAndExpression )*

Used by AssignmentExpression

LogicalAndExpression

→ ComparisonExpression ( "&&" ComparisonExpression )*

Used by LogicalOrExpression

ComparisonExpression

→ TermExpression ( ( ">" | ">=" | "<" | "<=" | "!=" | "==" ) TermExpression )?

Used by LogicalAndExpression

TermExpression

→ FactorExpression ( ( "+" | "-" ) FactorExpression )*

Used by ComparisonExpression

FactorExpression

→ CastExpression ( ( "*" | "/" | "%" ) CastExpression )*

Used by TermExpression

CastExpression

→ AscribeExpression ( "as" Type )*

Used by FactorExpression

AscribeExpression

→ UnaryExpression ( ":" Type )?

Used by CastExpression

UnaryExpression

→ ( "!" | "-" | "*" | "&" | "&var" ) UnaryExpression | PostfixExpression

Used by AscribeExpression

PostfixExpression

→ PrimaryExpression ( "(" Arguments? ")" | "." IDENTIFIER | "[" Expression "]" | "?" )*

Used by UnaryExpression

Arguments

→ Expression ( "," Expression )* ","?

Used by PostfixExpression

PrimaryExpression

→ INT | FLOAT | STRING | "true" | "false" | "None" | "()"| "(" Expression ( "," Expression )+ ")"| "(" Expression ")"| "[" ( Expression ( "," Expression )* ","? )? "]"| "[" Expression ";" INT "]"| Path| StructLiteral| MatchExpression| IfExpression| LoopExpression| ClosureExpression

Used by PostfixExpression

Path

→ ( "root" | "std" | "self" | "super" | IDENTIFIER ) ( "::" IDENTIFIER )*

Used by PrimaryExpressionStructLiteral

StructLiteral

→ Path "{" FieldInit ( "," FieldInit )* ","? "}"

Used by PrimaryExpression

FieldInit

→ IDENTIFIER ( ":" Expression )?

Used by StructLiteral

MatchExpression

→ "match" Expression "{" MatchArm ( "," MatchArm )* ","? "}"

Used by PrimaryExpression

MatchArm

→ Pattern ( "if" Expression )? "=>" Expression

Used by MatchExpression

IfExpression

→ "if" "(" Expression ")" Block "else" Block

Used by PrimaryExpression

LoopExpression

→ "loop" Block

Used by PrimaryExpression

ClosureExpression

→ "(" Params? ")" ( "->" Type )? Block

Used by PrimaryExpression

Pattern

→ "_"| "None"| IDENTIFIER| "(" Pattern ( "," Pattern )* ")"| IDENTIFIER "::" IDENTIFIER ( "{" PatternFields "}" )?| INT | FLOAT | STRING | "true" | "false"

Used by MatchArm

PatternFields

→ IDENTIFIER ( "," IDENTIFIER )*

Used by Pattern

Type

→ IDENTIFIER ( "<" TypeArgs ">" )?| "&" Type| "&var" Type| "()"| "(" Type ( "," Type )+ ")"| Type "[]"| "[" Type ";" INT "]"| "(" TypeList? ")" "->" Type| "impl" Type

Used by LetDeclarationVarDeclarationFunDeclarationExtendBlockAspectMethodAssocTypeDefParamStructFieldBoundHeadCastExpressionAscribeExpressionClosureExpressionTypeArgsTypeList

TypeArgs

→ Type ( "," Type )*

Used by BoundHeadType

TypeList

→ Type ( "," Type )*

Used by BoundHeadType