Language.Pascal.Types

Synopsis

• type Id = String
• data Annotate node ann = Annotate {
  • content :: node
  • annotation :: ann
  }
• data SrcPos = SrcPos {
  • srcLine :: Int
  • srcColumn :: Int
  }
• data TypeAnn = TypeAnn {
  • srcPos :: SrcPos
  • typeOf :: Type
  • localSymbols :: Map Id Symbol
  }
• type :~ node ann = Annotate (node ann) ann
• withType :: Annotate a SrcPos -> Type -> Annotate a TypeAnn
• setType :: Annotate Symbol a -> Type -> Annotate Symbol a
• annotate :: ann -> Annotate node old -> Annotate node ann
• data Program a = Program {
  • progConsts :: [(Id, Expression :~ a)]
  • progTypes :: Map Id Type
  • progVariables :: [Annotate Symbol a]
  • progFunctions :: [Function :~ a]
  • progBody :: [Statement :~ a]
  }
• data Function a = Function {
  • fnName :: String
  • fnFormalArgs :: [Annotate Symbol a]
  • fnResultType :: Type
  • fnVars :: [Annotate Symbol a]
  • fnBody :: [Statement :~ a]
  }
• type SymbolTable = [Map Id Symbol]
• data Symbol = Symbol {
  • symbolName :: Id
  • symbolType :: Type
  • symbolDefLine :: Int
  • symbolDefCol :: Int
  }
• showSymbol :: Symbol -> String
• symbolNameC :: Annotate Symbol ann -> Id
• symbolTypeC :: Annotate Symbol ann -> Type
• typeOfA :: Annotate node TypeAnn -> Type
• (#) :: Id -> Type -> Symbol
• data Type
  • = TInteger
  • | TString
  • | TBool
  • | TVoid
  • | TUser Id
  • | TAny
  • | TArray Integer Type
  • | TRecord [(Id, Type)]
  • | TField Int Type
  • | TFunction [Type] Type
• data LValue a
  • = LVariable Id
  • | LArray Id (Expression :~ a)
  • | LField Id Id
• data Statement a
  • = Assign (LValue :~ a) (Expression :~ a)
  • | Procedure Id [Expression :~ a]
  • | Return (Expression :~ a)
  • | Break
  • | Continue
  • | Exit
  • | IfThenElse (Expression :~ a) [Statement :~ a] [Statement :~ a]
  • | For Id (Expression :~ a) (Expression :~ a) [Statement :~ a]
• data Lit
  • = LInteger Integer
  • | LString String
  • | LBool Bool
• data Expression a
  • = Variable Id
  • | ArrayItem Id (Expression :~ a)
  • | RecordField Id Id
  • | Literal Lit
  • | Call Id [Expression :~ a]
  • | Op BinOp (Expression :~ a) (Expression :~ a)
• data BinOp
  • = Add
  • | Sub
  • | Mul
  • | Div
  • | Mod
  • | Pow
  • | IsGT
  • | IsLT
  • | IsEQ
  • | IsNE
• data TError = TError {
  • errLine :: Int
  • errColumn :: Int
  • errContext :: Context
  • errMessage :: String
  }
• data Context
  • = Unknown
  • | Outside
  • | ProgramBody
  • | ForLoop Id Int
  • | InFunction Id Type
• contextId :: Context -> String
• data CheckState = CheckState {
  • userTypes :: Map Id Type
  • userConsts :: [(Id, Expression :~ TypeAnn)]
  • symbolTable :: SymbolTable
  • contexts :: [Context]
  • ckLine :: Int
  • ckColumn :: Int
  }
• data CodeGenState = CGState {
  • constants :: [(Id, Lit)]
  • variables :: [Id]
  • currentContext :: [Context]
  • quoteMode :: Bool
  • generated :: Code
  }
• emptyGState :: CodeGenState
• newtype Generate a = Generate {
  • runGenerate :: ErrorT TError (State CodeGenState) a
  }
• newtype Check a = Check {
  • runCheck :: ErrorT TError (State CheckState) a
  }
• class Monad m => Checker m where
  • enterContext :: Context -> m ()
  • dropContext :: m ()
  • failCheck :: String -> m a
• inContext :: Checker m => Context -> m a -> m a

Documentation