DDC.Build.Interface.Load

Loader for DDC interface files.

Documentation

loadInterface

Arguments

:: FilePath

File path of interface file, for error messages.

-> UTCTime

TimeStamp of interface file.

-> String

Interface file source.

-> Either Error InterfaceAA

Load an interface file.

data Error

Problems that can arise when loading an interface file.

Constructors

ErrorEmpty

Empty Interface file.

ErrorNoMeta

No module meta information.

ErrorDuplicate

Duplicate module information.

ErrorBadMagic

Bad magic numbers / header information in alleged interface file. This probably isn't an interface file.

Fields

• errorFilePath :: FilePath
• errorLine :: Int

ErrorParse

Parse error in Interface file.

Fields

• errorFilePath :: FilePath
• errorLine :: Int

ErrorParseEnd

Parser error at end of input.

ErrorLoadTetra (Error Name Error)

Error when loading a tetra core module from the interface file.

ErrorLoadSalt (Error Name Error)

Error when loading a salt core module from the interface file.

Instances

Pretty Error

Associated Types

data PrettyMode Error :: *

Methods

pprDefaultMode :: PrettyMode Error

ppr :: Error -> Doc

pprPrec :: Int -> Error -> Doc

pprModePrec :: PrettyMode Error -> Int -> Error -> Doc

type InterfaceAA = Interface (AnTEC SourcePos Name) ()

Type of annotated interface. As don't store full Salt code in interface files, we just set the annotation for it to ()