######################################################################
# Grammaire abstraite
######################################################################

P = Program { D } E.

D = FunDecl ident { F } T E.

F = Formal ident T.

T = UnitType
  | IntType
  | ListType T
  | FunType { T } T.

S = VarDecl ident T E
  | While E E
  | Exec E.

E = If E E E
  | Assign ident E
  | Operation O E [ E ]
  | Ident ident
  | UnitLit
  | IntLit int
  | NilLit
  | Block { S } E
  | FunCall E { E }.

O = Eq | Add | Cons
  | Ne | Sub | Head
  | Lt | Mul | Tail
  | Le | Div | IsEmpty
  | Gt | Mod
  | Ge.

######################################################################
$Id: abstract_syntax.txt,v 1.1 2004/02/24 16:11:59 schinz Exp $