-- about enumerating them.  Just one set of error messages has been

 -- ported to have an open-world assumption: these are the error

 -- messages associated with type checking of foreign imports and

 -- assumption, use functions `backendValidityOfCImport` and

 -- `backendValidityOfCExport` as models, and have a look at how the

 -- 'expected back ends' are used in modules "GHC.Tc.Gen.Foreign" and

   | otherwise                               = False

 -- The set of back ends cannot be extended except by modifying the

 -- definition of @Backend@ in this module.

 --

 -- not exported.  It's crucial that they not be exported, because a

 -- value of type @Backend@ carries only the back end's /name/, not its

 -- behavior or properties.  If @Backend@ were not abstract, then code

     pure $ L l_mod $

       mod { hsmodExports = hsmodExports'

           , hsmodDecls = hsmodDecls'

 lexHsDocString :: HsDocString -> HsDoc GhcPs

 lexHsDocString = lexHsDoc parseIdentifier

 -- for

 --   (a) this binder only (it maybe a top-level or a nested declaration)

 --   (b) that do not have an enclosing breakpoint

 findBreakForBind str_name modbreaks = filter (not . enclosed) ticks

   where

     ticks = [ (index, span)

 -- source breakpoint, it means all *ocurrences* of that breakpoint across

 -- modules should be stopped at -- hence we keep a trie from BreakpointId to

 -- the list of internal break ids using it.

 type BreakpointOccurrences = ModuleEnv (IntMap.IntMap [InternalBreakpointId])

 -- | Lookup all InternalBreakpointIds matching the given BreakpointId

 -- and the SrcSpan of a breakpoint we hit, return @True@ if we should stop at

 -- this breakpoint.

 --

 -- @'RunAndLogSteps'@. We'd need further information e.g. about the user

 -- breakpoints to determine whether to break in those modes.

 breakHere :: Bool       -- ^ Was this breakpoint explicitly active (in the @BreakArray@s)?

     return $ repPrim (tyConAppTyCon ty) words

 ppr_termM1 Suspension{ty=ty, bound_to=Nothing, infoprov=mipe} =

   return $ hcat $

         space <>

         dcolon <>

         pprSigmaType ty

         space <>

         char '<' <>

         text (ipSrcFile ipe) <>

         char ':' <>

         text (ipSrcSpan ipe) <>

         char '>'

     , not $ null $ ipSrcFile ipe

 ppr_termM1 Suspension{ty=ty, bound_to=Just n}

   | otherwise = return$ parens$ ppr n <> dcolon <> pprSigmaType ty

 ppr_termM1 Term{}        = panic "ppr_termM1 - Term"

 -- | The default 'LogAction' parametrized over the standard output and standard error handles.

 -- Allows clients to replicate the log message formatting of GHC with custom handles.

 defaultLogActionWithHandles out err logflags msg_class srcSpan msg

   | log_dopt Opt_D_dump_json logflags = jsonLogActionWithHandle out logflags msg_class srcSpan msg

   | otherwise = case msg_class of

       _                    -> False

 startsVarSym, startsVarId, startsConSym, startsConId :: Char -> Bool

 startsConSym c = c == ':'                -- Infix data constructors

 startsVarId c  = c == '_' || case generalCategory c of  -- Ordinary Ids

   LowercaseLetter -> True