/* The main object code */

   void *codeBegin = oc->image + oc->misalignment;

   /* Jump Islands */

   __builtin___clear_cache((void *)oc->symbol_extras,

              Just exps -> do

                let (op,cp,tcs) = am_exports $ anns an0

                op' <- markEpToken op

                tcs' <- mapM markEpToken tcs

                cp' <- markEpToken cp

                return (Just exps', an0 { anns = (anns an0) { am_exports = (op',cp',tcs')}})

  -- "../../testsuite/tests/printer/Test17519.hs" Nothing

  -- "../../testsuite/tests/printer/InTreeAnnotations1.hs" Nothing

  -- "../../testsuite/tests/printer/Test19798.hs" Nothing

  -- "../../testsuite/tests/qualifieddo/should_compile/qdocompile001.hs" Nothing

  -- "../../testsuite/tests/typecheck/should_fail/StrictBinds.hs" Nothing

 testOneFile :: [(String, Changer)] -> FilePath -> String -> Maybe Changer -> IO ()

 testOneFile _ libdir fileName mchanger = do

        let

          origAst = ppAst p

          pped    = exactPrint p

            changedSource  <- readFile newFile

            return (expectedSource == changedSource, expectedSource, changedSource)

        let newAstStr :: String

            newAstStr = ppAst p'

        writeBinFile newAstFile newAstStr

 ppAst :: Data a => a -> String

 ppAst ast = showSDocUnsafe $ showAstData BlankSrcSpanFile NoBlankEpAnnotations ast

 parseOneFile libdir fileName = do

   case res of

     Left m -> error (internalDebugShowMessages m)

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

       replaceLocalBinds :: LMatch GhcPs (LHsExpr GhcPs)

                         -> Transform (LMatch GhcPs (LHsExpr GhcPs))

       replaceLocalBinds (L lm (Match an mln pats (GRHSs _ rhs (HsValBinds (van,w) (ValBinds _ bs))))) = do

         let oldDecls' = captureLineSpacing oldDecls

         let (VbSig o:oldBinds)  = map wrapValBind oldDecls'

             o' = setEntryDP o (DifferentLine 2 0)

         ) where

 import Preprocess

 import Data.Functor (void)

   -> Either a (GHC.ParsedSource)

 postParseTransform parseRes = fmap mkAnns parseRes

   where

 fixModuleComments :: GHC.ParsedSource -> GHC.ParsedSource

 fixModuleComments p = fixModuleHeaderComments $ fixModuleTrailingComments p

 import GHC  hiding (parseModule, parsedSource)

 import GHC.Parser.PostProcess ( wrapValBind )

 import GHC.Data.FastString

 import Data.Data

 import Data.List (unsnoc)

     (a',b') = balanceComments a b

     r = balanceCommentsList' (b':ls)

 -- |The GHC parser puts all comments appearing between the end of one AST

 -- item and the beginning of the next as 'annPriorComments' for the second one.

 -- This function takes two adjacent AST items and moves any 'annPriorComments'

       (HsValBinds _ vb') -> vb'

       _ -> ValBinds noExtField []

 -- |Prior to moving an AST element, make sure any trailing comments belonging to

 -- it are attached to it, and not the following element. Of necessity this is a

 -- heuristic process, to be tuned later. Possibly a variant should be provided

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

 moveLeadingComments :: (Data t, Data u, NoAnn t, NoAnn u)

   => LocatedAn t a -> EpAnn u -> (LocatedAn t a, EpAnn u)

 moveLeadingComments (L la a) lb = (L la' a, lb')

 anchorFromLocatedA :: LocatedA a -> RealSrcSpan

 anchorFromLocatedA (L (EpAnn anc _ _) _) = epaLocationRealSrcSpan anc

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

 balanceSameLineComments :: LMatch GhcPs (LHsExpr GhcPs) -> (LMatch GhcPs (LHsExpr GhcPs))

     (p2, remaining) = insertTopLevelCppComments p1 toplevel

     addCommentsListItem :: EpAnn [TrailingAnn] -> State [LEpaComment] (EpAnn [TrailingAnn])

     addCommentsList :: EpAnn AnnList -> State [LEpaComment] (EpAnn AnnList)

     addCommentsList = addComments

         _ -> return $ EpAnn anc an ocs

 workInComments :: EpAnnComments -> [LEpaComment] -> EpAnnComments

 workInComments ocs [] = ocs

 workInComments ocs new = cs'

                    = break (\(L ll _) -> (ss2pos $ epaLocationRealSrcSpan ll) > (ss2pos $ epaLocationRealSrcSpan ac) )

                            new

 insertTopLevelCppComments ::  HsModule GhcPs -> [LEpaComment] -> (HsModule GhcPs, [LEpaComment])

 insertTopLevelCppComments (HsModule (XModulePs an lo mdeprec mbDoc) mmn mexports imports decls) cs

     -- `debug` ("insertTopLevelCppComments: (cs2,cs3,hc0,hc1,hc_cs)" ++ showAst (cs2,cs3,hc0,hc1,hc_cs))

     -- `debug` ("insertTopLevelCppComments: (cs2,cs3,hc0i,hc0,hc1,hc_cs)" ++ showAst (cs2,cs3,hc0i,hc0,hc1,hc_cs))

   where

             cs' = workInComments (comments an1) stay

         _ -> (an1,cs0a)

     (imports', hc0i) = balanceFirstLocatedAComments imports0

     (decls0, cs3) = allocPreceding decls cs2

     -- Either hc0i or hc0d should have comments. Combine them

     hc0 = hc0i ++ hc0d

     allocPreceding :: [LocatedA a] -> [LEpaComment] -> ([LocatedA a], [LEpaComment])

     allocPreceding [] cs' = ([], cs')

 annListBracketsLocs (ListBanana o c) = (getEpUniTokenLoc o, getEpUniTokenLoc c)

 annListBracketsLocs ListNone         = (noAnn,              noAnn)

 data SplitWhere = Before | After

 splitOnWhere :: SplitWhere -> EpToken "where" -> [LEpaComment] -> ([LEpaComment], [LEpaComment])

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

 ghcCommentText :: LEpaComment -> String

 ghcCommentText (L _ (GHC.EpaComment (EpaDocComment s) _))      = exactPrintHsDocString s

 ghcCommentText (L _ (GHC.EpaComment (EpaDocOptions s) _))      = s