The Fortress Language Specification - CiteSeerX

StaticArg ::= TypeRef
| NatRef
| IntRef
| BoolRef
| DimRef
| UnitRef
| Op
| Id
NatRef ::= Number
| Id
| NatRef NatRef
| NatRef + NatRef
| NatRef · NatRef
| (NatRef )
IntRef ::= NatRef
BoolRef ::= true
| false
| Id
| BoolRef AND BoolRef
| BoolRef OR BoolRef
| (BoolRef )
Expr ::= Flow
| Value
| DottedName[StaticArgList ]
| self
| Expr . Id
| Expr . Id[StaticArgList ]([ExprList])
| Expr Expr
| TraitType.coercion[StaticArgList ](Expr)
| Op Expr
| Expr Op [Expr]
| Expr AssignOp Expr
| Comprehension
| Expr as TypeRef
| Expr asif TypeRef
| UnitExpr
Flow ::= Do
| label Id Expr + end Id
| exit [Id] [with Expr]
| while Expr Do
| for GeneratorList Do
| Accumulator [[ GeneratorList ]] Expr
| if Expr then Expr + (elif Expr then Expr + ) ∗ [Else] end
| (if Expr then Expr + (elif Expr then Expr + ) ∗ Else [end ])
| case Expr [Op] of (Expr ⇒ Expr + ) + [Else] end
| case (largest | smallest ) [Op] of (Expr ⇒ Expr + ) + end
| typecase TypecaseBindings in (TypecaseTypeRefs ⇒ Expr + ) + [Else] end
| atomic Expr
| tryatomic Expr
| spawn Expr
| throw Expr
| try Expr + [catch Id (TraitType ⇒ Expr + ) + ] [forbid TraitTypes] [finally Expr + ] end
380