AbsDeclaration.hs

module AbsDeclaration where

-- Haskell module generated by the BNF converter
newtype Ident =
  Ident String
  deriving (Eq, Ord, Read)

instance Show Ident where
  show (Ident str) = "'" ++ str ++ "'"

data Program =
  Program [TopDef]
  deriving (Eq, Ord, Show, Read)

data TopDef
  = FnDef Type
          Ident
          [Arg]
          Block
  | GlobDecl Type
             [Item]
  | GlobFinDecl Type
                [Item]
  deriving (Eq, Ord, Show, Read)

data Arg =
  Arg Type
      Ident
  deriving (Eq, Ord, Show, Read)

data Block =
  Block [Stmt]
  deriving (Eq, Ord, Show, Read)

data Stmt
  = Empty
  | BStmt Block
  | Decl Type
         [Item]
  | DeclFinal Type
              [Item]
  | Ass Ident
        Expr
  | Incr Ident
  | Decr Ident
  | Ret Expr
  | VRet
  | Cond Expr
         Stmt
  | CondElse Expr
             Stmt
             Stmt
  | While Expr
          Stmt
  | SExp Expr
  | FnInDef Type
            Ident
            [Arg]
            Block
  | ConstFor Type
             Ident
             Expr
             Expr
             Stmt
  | Break
  | Continue
  | Print Expr
  deriving (Eq, Ord, Show, Read)

data Item
  = NoInit Ident
  | Init Ident
         Expr
  deriving (Eq, Ord, Show, Read)

data Type
  = Int
  | Str
  | Bool
  | Void
  | FuncType [Type]
             Type
  deriving (Eq, Ord, Show, Read)

data Expr
  = EVar Ident
  | ELitInt Integer
  | ELitTrue
  | ELitFalse
  | EApp Ident
         [Expr]
  | EString String
  | ELambda [Arg]
            Type
            Block
  | Neg Expr
  | Not Expr
  | EMul Expr
         MulOp
         Expr
  | EAdd Expr
         AddOp
         Expr
  | ERel Expr
         RelOp
         Expr
  | EAnd Expr
         Expr
  | EOr Expr
        Expr
  deriving (Eq, Ord, Show, Read)

data AddOp
  = Plus
  | Minus
  deriving (Eq, Ord, Show, Read)

data MulOp
  = Times
  | Div
  | Mod
  deriving (Eq, Ord, Show, Read)

data RelOp
  = LTH
  | LE
  | GTH
  | GE
  | EQU
  | NE
  deriving (Eq, Ord, Show, Read)