AST.dcl

   1 definition module AST
   2
   3 from Data.Maybe import :: Maybe
   4 from StdOverloaded import class toString, class ==, class zero, class <
   5
   6 :: Pos = {line :: Int, col :: Int}
   7 :: AST = AST [FunDecl]
   8 :: VarDecl = VarDecl Pos (Maybe Type) String Expr
   9 :: TVar :== String
  10 :: Type
  11         = TupleType (Type, Type)
  12         | ListType Type
  13         | IdType TVar
  14         | IntType
  15         | BoolType
  16         | CharType
  17     | VoidType
  18     | (->>) infixl 7 Type Type
  19 :: Expr
  20         = VarExpr Pos VarDef
  21         | Op2Expr Pos Expr Op2 Expr
  22         | Op1Expr Pos Op1 Expr
  23         | IntExpr Pos Int
  24         | CharExpr Pos Char
  25         | BoolExpr Pos Bool
  26         | FunExpr Pos String [Expr] [FieldSelector]
  27         | EmptyListExpr Pos
  28         | TupleExpr Pos (Expr, Expr)
  29 :: VarDef = VarDef String [FieldSelector]
  30 :: FieldSelector = FieldHd | FieldTl | FieldFst | FieldSnd
  31 :: Op1 = UnNegation | UnMinus
  32 :: Op2 = BiPlus | BiMinus | BiTimes | BiDivide | BiMod | BiEquals | BiLesser |
  33         BiGreater | BiLesserEq | BiGreaterEq | BiUnEqual | BiAnd | BiOr | BiCons
  34 :: FunDecl = FunDecl Pos String [String] (Maybe Type) [VarDecl] [Stmt]
  35 :: Stmt
  36         = IfStmt Expr [Stmt] [Stmt]
  37         | WhileStmt Expr [Stmt]
  38         | AssStmt VarDef Expr
  39         | FunStmt String [Expr]
  40         | ReturnStmt (Maybe Expr)
  41
  42 instance toString Pos
  43 instance toString Type
  44 instance toString AST
  45
  46 instance zero Pos
  47 instance == Op1
  48 instance == Op2
  49 instance < Op1
  50 instance < Op2
  51 instance == Type