simple-pascal-0.1: Simplified Pascal language to SSVM compiler

Language.Pascal.TypeCheck

Synopsis

Documentation

checkTypes :: (Program :~ SrcPos) -> Program :~ TypeAnnSource

checkSource :: FilePath -> IO (Program :~ TypeAnn)Source

builtinSymbols :: Map Id SymbolSource

Symbol table of builtin symbols