' b + value value variant Some variant None type name ! value declaration variant Function declaration # variant Declaration stmt variant Statement head variant Nil head tail variant Cons value variant Some variant None value
stmts else # variant None stmt # variant Regular value variant Some variant None condition then else variant If condition body variant While value variant Some variant None value variant Some variant None head variant Nil head " tail variant Cons value variant Some variant None value init # test # step body variant For stmts variant Block value # variant Return # variant Break # variant Continue
3 variant Or 2 variant And , variant Equal - variant NotEqual
variant Lt
variant Gt
/ variant Geq
. variant Leq ) variant Add * variant Sub $ variant Mul 0 variant Div 1 variant Mod value variant Int value variant Bool variant Null this variant Through ( value variant Not % value variant Incrl value % variant Incrr & value variant Decrl value & variant Decrr ' value variant Borrow $ value variant Deref ) value variant Plus * value variant Minus value ! variant Ident type variant Sizeof name ! args variant Call array index
value Expr variant BinOp op AddSubOp variant Add right index left array variant Deref left op right variant BinOp left op right variant BinOp left op
right variant BinOp left op right variant BinOp left op right variant BinOp left op
right variant BinOp key + value variant Assign variant True variant False value variant Int value variant Char type name ! variant Void variant Int variant Bool pointed $ variant Pointer head variant Nil head " tail variant Cons value variant Some variant None value rettype name ! args block " head variant Nil" head tail " variant Cons# value " variant Some# variant None! value # % head variant Nil% head tail % variant Cons& value % variant Some& variant None$ value & ! decls $ �o[ ' ' Bool VariableDeclaration AddSubOp List[TypedParam, COMMA] ' Option[NonEmptyList[TypedParam, COMMA]] List[INCLUDE, Empty]! $ Option[NonEmptyList[INCLUDE, Empty]]# 0 Option[NonEmptyList[FunctionDeclaration, Empty]]& " NonEmptyList[DeclStatement, Empty] CmpOp
Else Option[VariableDeclaration] NonEmptyList[Expr, COMMA] AndOp OrOp
Definition List[Expr, COMMA] ! Option[NonEmptyList[Expr, COMMA]] NonEmptyList[TypedParam, COMMA] * Option[NonEmptyList[DeclStatement, Empty]] EqOp List[FunctionDeclaration, Empty]$ Statement Empty Type ( NonEmptyList[FunctionDeclaration, Empty]% Option[Else] Block File List[DeclStatement, Empty] NonEmptyList[INCLUDE, Empty]" Option[Definition]
TypedParam
DeclStatement MulDivModOp Option[Expr] FunctionDeclaration Int Expr ' Empty File FunctionDeclaration Type
TypedParam Int Bool Expr MulDivModOp AddSubOp CmpOp EqOp AndOp OrOp Statement Else Block
DeclStatement VariableDeclaration
Definition Option[Definition] List[DeclStatement, Empty]" NonEmptyList[DeclStatement, Empty]* Option[NonEmptyList[DeclStatement, Empty]] Option[Else] Option[VariableDeclaration] Option[Expr] List[Expr, COMMA] NonEmptyList[Expr, COMMA]! Option[NonEmptyList[Expr, COMMA]] List[TypedParam, COMMA] NonEmptyList[TypedParam, COMMA]' Option[NonEmptyList[TypedParam, COMMA]] List[INCLUDE, Empty] NonEmptyList[INCLUDE, Empty]$ Option[NonEmptyList[INCLUDE, Empty]] List[FunctionDeclaration, Empty]( NonEmptyList[FunctionDeclaration, Empty]0 Option[NonEmptyList[FunctionDeclaration, Empty]]' a file a function declaration a type a parameter
an integer a boolean
an expression an operator an operator an operator an operator an operator an operator a statement a block a variable declaration ' a ` U L M N O K I J G H / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F , - . * + & ' ( ) $ % # " !
T P Q R S Z V W X Y _ [ \ ] ^