grammar/grammar.txt

   1 <Prog>         ::= <LetDecl>*
   2                     <FunDecl>+
   3 <LetDecl>      ::= 'let' <type> <id> '=' <Expr> ';'
   4 <FunDecl>      ::= <id> '(' <Type>* ')' ['::' <FunType] '{' <VarDecl>* <Stmt>+ '}'
   5 <FunType>      ::= <VoidType> ['->' <FunType>]
   6                  | '(' <FunType> ')'
   7 <Stmt>         ::= 'if' '(' <Expr> ')' '{' <Stmt>* '}' ['else' '{' <Stmt>* '}']
   8                  | 'while' '(' <Expr> ')' '{' <Stmt>* '}'
   9                  | <id> <FieldSels> '=' <Expr> ';'
  10                  | <FunCall> ';'
  11                  | 'return' [<Expr>] ';'
  12 <VarDecl>      ::= <Type> <id> '=' <Expr> ';'
  13 <Expr>         ::= <BinOrExpr> [':' <Expr>]
  14                  | <LambdaExpr>
  15 <BinOrExpr>    ::= <BinAndExpr> ['||' <BinOrExpr>]
  16 <BinAndExpr>   ::= <CompareExpr> ['&&' <BinAndExpr>]
  17 <CompareExpr>  ::= <PlusMinExpr> [('==' | '<' | '>' | '<=' | '>=' | '!=') <CompareExpr>]
  18 <PlusMinExpr>  ::= <TimesDivExpr> (('+' | '-') <TimesDivExpr>)*
  19 <TimesDivExpr> ::= <BasicExpr> (['*' | '/' | '%'] <BasicExpr>)*
  20 <BasicExpr>    ::= <Op1> <Expr>
  21                  | <int>
  22                  | <char>
  23                  | 'False'
  24                  | 'True'
  25                  | '(' <Expr> ')'
  26                  | <FunCall> <FieldSels>
  27                  | '[]' <Expr>
  28                  | '[' (<Expr> ',')* (<Expr>) ']'
  29                  | '(' <Expr> ',' <Expr> ')'
  30                  | '"' <char> '"'
  31 <Op1>          ::= '~' | '!'
  32 <LamdaExpr>    ::= '\'<id>* '->' <Expr>
  33 <FieldSels>    ::= ('.' ('hd'|'tl'|'fst'|'snd))*
  34 <FunCall>      ::= <id> ['(' <ActArgs>+ ')']
  35 <ActArgs>      ::= <Expr> [',' ActArgs]
  36 <Type>         ::= 'Int'
  37                  | 'Bool'
  38                  | 'Char'
  39                  | '(' Type ',' Type ')'
  40                  | '[' Type ']'
  41                  | <id>
  42 <VoidType>     ::= 'Void' | Type