import GHC.Types.Unique.Set

 import GHC.Types.SrcLoc (unLoc)

 import GHC.Utils.Outputable

 import GHC.Hs.Extension (GhcPass (..), OutputableBndrId)

 import Language.Haskell.Syntax.Extension (Anno, LIdP, IdP,

                                           noExtField, NoExtField, DataConCantHappen,

 -- Boolean formula type and smart constructors

 ----------------------------------------------------------------------

 type instance XBFVar           (GhcPass _) = NoExtField

 type instance XBFAnd           (GhcPass _) = NoExtField

 type instance XBFOr            (GhcPass _) = NoExtField

 type instance XXBooleanFormula (GhcPass _) = DataConCantHappen

 instance BooleanFormulaDefault (GhcPass p) where

               `ext2Q` located

               `extQ` srcSpanAnnA

               `extQ` srcSpanAnnN

       where generic :: Data a => a -> SDoc

             generic t = parens $ text (showConstr (toConstr t))

             srcSpanAnnN :: EpAnn NameAnn -> SDoc

             srcSpanAnnN = locatedAnn'' (text "SrcSpanAnnN")

             locatedAnn'' :: forall a. (Typeable a, Data a)

               => SDoc -> EpAnn a -> SDoc

             locatedAnn'' tag ss = parens $

   toHie (PendingRnSplice _ e) = toHie e

 instance (HiePass p, Data (IdGhcP p))

     toHie (L span form) =  concatM $ makeNode form (locA span) : case form of

       Var _ a ->

         [ toHie $ C Use a

       fromIfaceBooleanFormula (IfVar nm   ) = Var    noExtField $ noLocA . mkUnboundName . mkVarOccFS . ifLclNameFS $ nm

       fromIfaceBooleanFormula (IfAnd bfs  ) = And    noExtField $ map (noLocA . fromIfaceBooleanFormula) bfs

       fromIfaceBooleanFormula (IfOr bfs   ) = Or     noExtField $ map (noLocA . fromIfaceBooleanFormula) bfs

       -- See Note [Suppressing binder signatures] in GHC.Iface.Type

 import GHC.Types.TyThing

 import GHC.Types.Error

 import GHC.Fingerprint

    tc_boolean_formula :: IfaceBooleanFormula -> IfL (BooleanFormula GhcRn)

    tc_boolean_formula (IfAnd ibfs  ) = BF.And    NoExtField . map noLocA <$> traverse tc_boolean_formula ibfs

    tc_boolean_formula (IfOr ibfs   ) = BF.Or     NoExtField . map noLocA <$> traverse tc_boolean_formula ibfs

    tc_boolean_formula (IfVar nm    ) = BF.Var    NoExtField .     noLocA <$> (lookupIfaceTop . mkVarOccFS . ifLclNameFS $ nm)

    mk_sc_doc pred = text "Superclass" <+> ppr pred

 name_boolformula :: { LBooleanFormula GhcPs }

         : name_boolformula_and      { $1 }

         | name_boolformula_and '|' name_boolformula

                                  ; return (sLLa $1 $> (Or noExtField [h,$3])) } }

 name_boolformula_and :: { LBooleanFormula GhcPs }

 name_boolformula_and_list :: { NonEmpty (LBooleanFormula GhcPs) }

         : name_boolformula_atom                               { NE.singleton $1 }

         | name_boolformula_atom ',' name_boolformula_and_list

                   ; return (h NE.<| $3) } }

 name_boolformula_atom :: { LBooleanFormula GhcPs }

         | name_var                  { sL1a $1 (Var noExtField $1) }

 namelist :: { Located [LocatedN RdrName] }

 -- -------------------------------------

 -- Mostly use to add AnnComma, special case it to NOP if adding a zero-width annotation

 addTrailingCommaN :: MonadP m => LocatedN a -> SrcSpan -> m (LocatedN a)

 addTrailingCommaN (L anns a) span = do

   -- ** Annotations in 'GenLocated'

   LocatedA, LocatedN, LocatedAn,

   SrcSpanAnnA, SrcSpanAnnN,

   -- ** Annotation data types used in 'GenLocated'

   AnnList(..), AnnListBrackets(..),

   AnnParen(..),

   AnnCType(..),AnnWarningTxt(..),AnnOverlap(..),AnnAnnDecl(..),AnnPragSCC(..),

   NameAnn(..), NameAdornment(..),

   NoEpAnns(..),

   -- ** Trailing annotations in lists

   TrailingAnn(..), ta_location,

   addTrailingAnnToA, addTrailingCommaToN,

   noTrailingN,

   -- ** Utilities for converting between different 'GenLocated' when

 type LocatedA = GenLocated SrcSpanAnnA

 type LocatedN = GenLocated SrcSpanAnnN

 -- | Annotation for items appearing in a list. They can have one or

 -- more trailing punctuations items, such as commas or semicolons.

 type SrcSpanAnnA = EpAnn [TrailingAnn]

 -- on the context, such as backticks.

 type SrcSpanAnnN = EpAnn NameAnn

 -- | General representation of a 'GenLocated' type carrying a

 -- parameterised annotation type.

 type LocatedAn an = GenLocated (EpAnn an)

   | AnnParensHash   (EpToken "(#") (EpToken "#)") -- ^ '(#', '#)'

   deriving Data

 -- ---------------------------------------------------------------------

 -- Annotations for names

 -- ---------------------------------------------------------------------

 -- ---------------------------------------------------------------------

 -- | Helper function used in the parser to add a 'TrailingAnn' items

 -- to an existing annotation.

 addTrailingAnnToA :: TrailingAnn -> EpAnnComments

 instance NoAnn NoEpAnns where

   noAnn = NoEpAnns

 instance NoAnn AnnList where

   noAnn = AnnList Nothing ListNone noAnn

   trailing _ = []

   setTrailing a _ = a

 -- ---------------------------------------------------------------------

 fromAnn' :: (HasEntry a) => a -> Entry

   exact (BF.And e ls) = do

     ls' <- mapM markAnnotated ls

     return (BF.And e ls')

     x' <- markAnnotated x

 -- ---------------------------------------------------------------------

         stmts' <- markAnnotated stmts

         return stmts'

 instance ExactPrint [Located HsDocStringChunk] where

   getAnnotationEntry _ = NoEntryVal

   setAnnotationAnchor a _ _ _ = a

 type instance Anno (FamilyResultSig DocNameI) = EpAnn NoEpAnns

 type instance Anno (HsOuterTyVarBndrs Specificity DocNameI) = SrcSpanAnnA

 type instance Anno (HsSigType DocNameI) = SrcSpanAnnA

 type instance Anno (OverlapMode DocNameI) = SrcSpanAnnA

 type instance Anno (CType DocNameI) = SrcSpanAnnA

 type instance Anno (Header DocNameI) = SrcSpanAnnA

 type instance XBFVar           DocNameI = NoExtField

 type instance XBFAnd           DocNameI = NoExtField

 type instance XBFOr            DocNameI = NoExtField

 type instance XXBooleanFormula DocNameI = DataConCantHappen

 -----------------------------------------------------------------------------