Moduleghc-10.0.0.20260917GHC2024

GHC.Driver.Backpack.Syntax

This is the syntax for bkp files which are parsed in 'ghc --backpack' mode. This syntax is used purely for testing purposes.

Contents

Synopsis

Backpack abstract syntax

datadata HsUnitId n

typetype LHsUnitId n = Located (HsUnitId n)

typetype HsModuleSubst n = (Located ModuleName, LHsModuleId n)

typetype LHsModuleSubst n = Located (HsModuleSubst n)

datadata HsModuleId n

typetype LHsModuleId n = Located (HsModuleId n)

datadata HsComponentId

Instances1Outputable

Outputable HsComponentIdDefined in ghc-10.0.0.20260917 · GHC.Driver.Backpack.Syntax

typetype LHsUnit n = Located (HsUnit n)

datadata HsUnit n

Top level unit declaration in a Backpack file.

typetype LHsUnitDecl n = Located (HsUnitDecl n)

datadata HsUnitDecl n

A declaration in a package, e.g. a module or signature definition, or an include.

datadata IncludeDecl n

An include of another unit

IncludeDecl
- idUnitId :: LHsUnitId n
- idModRenaming :: Maybe [LRenaming]
- idSignatureInclude :: Bool
  Is this a dependency signature include? If so, we don't compile this include when we instantiate this unit (as there should not be any modules brought into scope.)

typetype LRenaming = Located Renaming

datadata Renaming

Rename a module from one name to another. The identity renaming means that the module should be brought into scope.