Grammar¶
Todo
jashankj: transition to something like EBNF
Todo
jashankj: use productionlist
Here we use a grammar notation which is similar to that used in the Java language specifications. The meta constructs have the following meaning:
- Brackets, [], make their content optional.
- Braces, {}, make their content repeatable (and optional).
Nonterminals are denoted in italics. Literal code is denoted in typewriter font.
Productions are structured by indenting the right-hand side, every single line is one alternative. There are special forms of productions for selecting among a set of terminals and for specifying the syntax of a nonterminal informally.
- Program:
- TopLevelUnit:
- Include:
includeStringLiteralincludeSystemFile- Systemfile: informally,
<and>.- Definition:
- TypeDefinition:
typeTypeConstructor { TypeVariable }=MonoTypeAbstractTypeDefinition- TypeConstructor:
- TypeVariable:
- AbstractTypeDefinition:
typeTypeConstructor { TypeVariable }- MonoType:
- FunctionType:
->TypeA1- TypeA1:
- ParameterizedType:
- PartialRecordType:
- TakePut:
takeput- TakePutFields:
([ FieldName {,FieldName } ])( .. )- FieldName:
- TypeA2:
#AtomTypeAtomType!- AtomType:
(MonoType)TypeConstructorTupleTypeRecordTypeVariantTypeTypeVariable- TupleType:
()(MonoType,MonoType {,MonoType })- RecordType:
{FieldName:MonoType {,FieldName:MonoType }}- VariantType:
<DataConstructor { TypeA2 } {|DataConstructor { TypeA2 } }>- DataConstructor:
- ValueDefinition:
=Expression- Signature:
:PolyType- PolyType:
allPermSignatures.MonoType- PermSignatures:
(PermSignature {,PermSignature })- PermSignature:
:<Permissions- Permissions:
- Permission: one of
DSE- FunctionDefinition:
=ExpressionSignature Variable Alternative { Alternative }- AbstractDefinition:
- Pattern:
(Pattern)IrrefutablePatternLiteralPatternVariantPattern- LiteralPattern:
- IrrefutablePattern:
- WildcardPattern:
_- TuplePattern:
()(IrrefutablePattern,IrrefutablePattern {,IrrefutablePattern })- RecordPattern:
{RecordMatchings}#{RecordMatchings}- RecordMatchings:
,RecordMatching }- RecordMatching:
=IrrefutablePattern ]- VariantPattern:
- Expression:
- BasicExpression:
;Expression- MatchingExpression:
- ObservableBasicExpression:
!Variable }- Alternative:
|Pattern PArr Expression- PArr: one of
->=>~>- LetExpression:
letBinding {andBinding }inExpression- Binding:
:MonoType ]=ObservableExpression- ObservableExpression:
!Variable }- ConditionalExpression:
ifObservableExpressionthenExpressionelseExpression- BasExpr:
- FunctionApplication:
- OperatorApplication:
- UnaryOp: one of
upcastcomplementnot- BinaryOp: one of
o*/%+-><>=<===/=.&..^..|.>><<&&||$- PutExpression:
- RecordAssignments:
,RecordAssignment }- RecordAssignment:
=Expression ]- MemberAccess:
.FieldName- Term:
(Expression)VariableLiteralTermTupleTermRecordTermVariantTermLambdaTermPolyVariable- LiteralTerm:
- BooleanLiteral: one of
TrueFalse- IntegerLiteral: one of
0xHexDigits0XHexDigits0oOctDigits0OOctDigits- DecDigits: informally,
- HexDigits: informally,
- OctDigits: informally,
- CharacterLiteral: informally,
- StringLiteral: informally,
- TupleTerm:
()(Expression,Expression {,Expression })- RecordTerm:
#{RecordAssignments}- VariantTerm:
- LambdaTerm:
\IrrefutablePattern [:MonoType ]=>Expression- PolyVariable:
[OptMonoType {,OptMonoType }]- OptMonoType:
_- LowercaseID: informally,
- CapitalizedID: informally,