######################################################################
                            ABSTRACT SYNTAX
######################################################################

P = Program { D } B

B = Body { S } E

D = FunDef ident { F } T E

F = Formal ident T

T = BasicType U
  | ListType T
  | FunType { T } T

U = Unit
  | Any
  | Int

S = VarDef F E
  | While E E
  | Exec E

E = If E E E
  | Assign ident E
  | Binop O E E
  | Listop L E
  | Ident ident
  | UnitLit
  | NilLit
  | IntLit int
  | Apply E { E }
  | B

O = Add
  | Sub
  | Mul
  | Div
  | Mod
  | Eq
  | Ne
  | Lt
  | Le
  | Gt
  | Ge
  | Cons

L = Head
  | Tail
  | IsEmpty

######################################################################
$Id: ast.txt,v 1.1 2004/02/24 16:10:55 schinz Exp $