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

module BkpSyn (
    -- * Backpack abstract syntax
    HsUnitId(..),
    LHsUnitId,
    HsModuleSubst,
    LHsModuleSubst,
    HsModuleId(..),
    LHsModuleId,
    HsComponentId(..),
    LHsUnit, HsUnit(..),
    LHsUnitDecl, HsUnitDecl(..),
    HsDeclType(..),
    IncludeDecl(..),
    LRenaming, Renaming(..),
    ) where

import GhcPrelude

import HsSyn
import SrcLoc
import Outputable
import Module
import PackageConfig

{-
************************************************************************
*                                                                      *
                        User syntax
*                                                                      *
************************************************************************
-}

data HsComponentId = HsComponentId {
    HsComponentId -> PackageName
hsPackageName :: PackageName,
    HsComponentId -> ComponentId
hsComponentId :: ComponentId
    }

instance Outputable HsComponentId where
    ppr :: HsComponentId -> SDoc
ppr (HsComponentId _pn :: PackageName
_pn cid :: ComponentId
cid) = ComponentId -> SDoc
forall a. Outputable a => a -> SDoc
ppr ComponentId
cid -- todo debug with pn

data HsUnitId n = HsUnitId (Located n) [LHsModuleSubst n]
type LHsUnitId n = Located (HsUnitId n)

type HsModuleSubst n = (Located ModuleName, LHsModuleId n)
type LHsModuleSubst n = Located (HsModuleSubst n)

data HsModuleId n = HsModuleVar (Located ModuleName)
                  | HsModuleId (LHsUnitId n) (Located ModuleName)
type LHsModuleId n = Located (HsModuleId n)

-- | Top level @unit@ declaration in a Backpack file.
data HsUnit n = HsUnit {
        HsUnit n -> Located n
hsunitName :: Located n,
        HsUnit n -> [LHsUnitDecl n]
hsunitBody :: [LHsUnitDecl n]
    }
type LHsUnit n = Located (HsUnit n)

-- | A declaration in a package, e.g. a module or signature definition,
-- or an include.
data HsDeclType = ModuleD | SignatureD
data HsUnitDecl n
    = DeclD   HsDeclType (Located ModuleName) (Maybe (Located (HsModule GhcPs)))
    | IncludeD   (IncludeDecl n)
type LHsUnitDecl n = Located (HsUnitDecl n)

-- | An include of another unit
data IncludeDecl n = IncludeDecl {
        IncludeDecl n -> LHsUnitId n
idUnitId :: LHsUnitId n,
        IncludeDecl n -> Maybe [LRenaming]
idModRenaming :: Maybe [ LRenaming ],
        -- | 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.)
        IncludeDecl n -> Bool
idSignatureInclude :: Bool
    }

-- | Rename a module from one name to another.  The identity renaming
-- means that the module should be brought into scope.
data Renaming = Renaming { Renaming -> Located ModuleName
renameFrom :: Located ModuleName
                         , Renaming -> Maybe (Located ModuleName)
renameTo :: Maybe (Located ModuleName) }
type LRenaming = Located Renaming