Searched refs:SelfBootInfo (Results 1 – 7 of 7) sorted by relevance
47 SelfBootInfo(..),582 tcg_self_boot :: SelfBootInfo, -- ^ Whether this module has a652 data SelfBootInfo type
798 tcSelfBootInfo :: TcRn SelfBootInfo
698 checkHiBootIface :: TcGblEnv -> SelfBootInfo -> TcM TcGblEnv
47 SelfBootInfo(..),581 tcg_self_boot :: SelfBootInfo, -- ^ Whether this module has a651 data SelfBootInfo type
49 SelfBootInfo(..),555 tcg_self_boot :: SelfBootInfo, -- ^ Whether this module has a625 data SelfBootInfo type
483 tcHiBootIface :: HscSource -> Module -> TcRn SelfBootInfo554 mkSelfBootInfo :: ModIface -> ModDetails -> TcRn SelfBootInfo