GHC.Iface.Errors.Types

Documentation

data MissingInterfaceError

Constructors

BadSourceImport !Module

HomeModError !InstalledModule !ModLocation

DynamicHashMismatchError !Module !ModLocation

CantFindErr !UnitState FindingModuleOrInterface CantFindInstalled

BadIfaceFile ReadInterfaceError

FailedToLoadDynamicInterface Module ReadInterfaceError

Instances

Generic MissingInterfaceError

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep MissingInterfaceError :: Type -> Type

Methods

from :: MissingInterfaceError -> Rep MissingInterfaceError x

to :: Rep MissingInterfaceError x -> MissingInterfaceError

type Rep MissingInterfaceError

Defined in GHC.Iface.Errors.Types

type Rep MissingInterfaceError = D1 ('MetaData "MissingInterfaceError" "GHC.Iface.Errors.Types" "ghc-lib-parser-9.8.4.20241130-5ZJHgmbycGEEAdEa9SvL2Y" 'False) ((C1 ('MetaCons "BadSourceImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module)) :+: (C1 ('MetaCons "HomeModError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstalledModule) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModLocation)) :+: C1 ('MetaCons "DynamicHashMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModLocation)))) :+: (C1 ('MetaCons "CantFindErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitState) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FindingModuleOrInterface) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CantFindInstalled))) :+: (C1 ('MetaCons "BadIfaceFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReadInterfaceError)) :+: C1 ('MetaCons "FailedToLoadDynamicInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReadInterfaceError)))))

data InterfaceLookingFor

Constructors

LookingForName !Name

LookingForHiBoot !Module

LookingForModule !ModuleName !IsBootInterface

LookingForSig !InstalledModule

data IfaceMessage

Constructors

Can'tFindInterface MissingInterfaceError InterfaceLookingFor

Can'tFindNameInInterface Name [TyThing]

CircularImport !Module

Instances

Generic IfaceMessage

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep IfaceMessage :: Type -> Type

Methods

from :: IfaceMessage -> Rep IfaceMessage x

to :: Rep IfaceMessage x -> IfaceMessage

Diagnostic IfaceMessage

Defined in GHC.Iface.Errors.Ppr

Associated Types

type DiagnosticOpts IfaceMessage

Methods

diagnosticMessage :: DiagnosticOpts IfaceMessage -> IfaceMessage -> DecoratedSDoc

diagnosticReason :: IfaceMessage -> DiagnosticReason

diagnosticHints :: IfaceMessage -> [GhcHint]

diagnosticCode :: IfaceMessage -> Maybe DiagnosticCode

type Rep IfaceMessage

Defined in GHC.Iface.Errors.Types

type Rep IfaceMessage = D1 ('MetaData "IfaceMessage" "GHC.Iface.Errors.Types" "ghc-lib-parser-9.8.4.20241130-5ZJHgmbycGEEAdEa9SvL2Y" 'False) (C1 ('MetaCons "Can'tFindInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MissingInterfaceError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterfaceLookingFor)) :+: (C1 ('MetaCons "Can'tFindNameInInterface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyThing])) :+: C1 ('MetaCons "CircularImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Module))))

type DiagnosticOpts IfaceMessage

Defined in GHC.Iface.Errors.Ppr

type DiagnosticOpts IfaceMessage = IfaceMessageOpts

data ReadInterfaceError

Constructors

ExceptionOccurred FilePath SomeException

HiModuleNameMismatchWarn FilePath Module Module

Instances

Generic ReadInterfaceError

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep ReadInterfaceError :: Type -> Type

Methods

from :: ReadInterfaceError -> Rep ReadInterfaceError x

to :: Rep ReadInterfaceError x -> ReadInterfaceError

type Rep ReadInterfaceError

Defined in GHC.Iface.Errors.Types

type Rep ReadInterfaceError = D1 ('MetaData "ReadInterfaceError" "GHC.Iface.Errors.Types" "ghc-lib-parser-9.8.4.20241130-5ZJHgmbycGEEAdEa9SvL2Y" 'False) (C1 ('MetaCons "ExceptionOccurred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SomeException)) :+: C1 ('MetaCons "HiModuleNameMismatchWarn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module))))

data CantFindInstalled

Constructors

CantFindInstalled ModuleName CantFindInstalledReason

Instances

Generic CantFindInstalled

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep CantFindInstalled :: Type -> Type

Methods

from :: CantFindInstalled -> Rep CantFindInstalled x

to :: Rep CantFindInstalled x -> CantFindInstalled

type Rep CantFindInstalled

Defined in GHC.Iface.Errors.Types

type Rep CantFindInstalled = D1 ('MetaData "CantFindInstalled" "GHC.Iface.Errors.Types" "ghc-lib-parser-9.8.4.20241130-5ZJHgmbycGEEAdEa9SvL2Y" 'False) (C1 ('MetaCons "CantFindInstalled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CantFindInstalledReason)))

data CantFindInstalledReason

Constructors

NoUnitIdMatching UnitId [UnitInfo]

MissingPackageFiles UnitId [FilePath]

MissingPackageWayFiles String UnitId [FilePath]

ModuleSuggestion [ModuleSuggestion] [FilePath]

NotAModule

CouldntFindInFiles [FilePath]

GenericMissing [(Unit, Maybe UnitInfo)] [Unit] [UnusableUnit] [FilePath]

MultiplePackages [(Module, ModuleOrigin)]

Instances

Generic CantFindInstalledReason

Defined in GHC.Iface.Errors.Types

Associated Types

type Rep CantFindInstalledReason :: Type -> Type

Methods

from :: CantFindInstalledReason -> Rep CantFindInstalledReason x

to :: Rep CantFindInstalledReason x -> CantFindInstalledReason

type Rep CantFindInstalledReason

Defined in GHC.Iface.Errors.Types

type Rep CantFindInstalledReason = D1 ('MetaData "CantFindInstalledReason" "GHC.Iface.Errors.Types" "ghc-lib-parser-9.8.4.20241130-5ZJHgmbycGEEAdEa9SvL2Y" 'False) (((C1 ('MetaCons "NoUnitIdMatching" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UnitInfo])) :+: C1 ('MetaCons "MissingPackageFiles" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath]))) :+: (C1 ('MetaCons "MissingPackageWayFiles" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath]))) :+: C1 ('MetaCons "ModuleSuggestion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ModuleSuggestion]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath])))) :+: ((C1 ('MetaCons "NotAModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CouldntFindInFiles" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath]))) :+: (C1 ('MetaCons "GenericMissing" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Unit, Maybe UnitInfo)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Unit])) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UnusableUnit]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath]))) :+: C1 ('MetaCons "MultiplePackages" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Module, ModuleOrigin)])))))

data FindingModuleOrInterface

Constructors

FindingModule

FindingInterface

data BuildingCabalPackage

Pass to a DriverMessage the information whether or not the '-fbuilding-cabal-package' flag is set.

Constructors

YesBuildingCabalPackage

NoBuildingCabalPackage

Instances

Eq BuildingCabalPackage

Defined in GHC.Iface.Errors.Types

Methods

(==) :: BuildingCabalPackage -> BuildingCabalPackage -> Bool

(/=) :: BuildingCabalPackage -> BuildingCabalPackage -> Bool

data IfaceMessageOpts

Constructors

IfaceMessageOpts

Fields

• ifaceShowTriedFiles :: !Bool

  Whether to show files we tried to look for or not when printing loader errors

• ifaceBuildingCabalPackage :: !BuildingCabalPackage

Instances

HasDefaultDiagnosticOpts IfaceMessageOpts

Defined in GHC.Iface.Errors.Ppr

Methods

defaultOpts :: IfaceMessageOpts