[Git][ghc/ghc][wip/expand-do] 2 commits: fixing annoying whitespaces

Apoorv Ingle (@ani) gitlab at gitlab.haskell.org
Thu Oct 12 14:18:12 UTC 2023



Apoorv Ingle pushed to branch wip/expand-do at Glasgow Haskell Compiler / GHC


Commits:
310372ea by Apoorv Ingle at 2023-10-11T21:33:15-05:00
fixing annoying whitespaces

- - - - -
ce8b71de by Apoorv Ingle at 2023-10-12T09:17:53-05:00
changes to call stack info and stats

- - - - -


14 changed files:

- compiler/GHC/Hs/Expr.hs
- compiler/GHC/Hs/Pat.hs
- compiler/GHC/HsToCore/Ticks.hs
- compiler/GHC/Rename/Expr.hs
- compiler/GHC/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/Do.hs
- compiler/GHC/Tc/Gen/Expr.hs
- compiler/GHC/Tc/Gen/Pat.hs
- compiler/GHC/Tc/Utils/Monad.hs
- compiler/Language/Haskell/Syntax/Expr.hs
- testsuite/tests/profiling/should_run/caller-cc/CallerCc1.prof.sample
- testsuite/tests/profiling/should_run/caller-cc/CallerCc2.prof.sample
- testsuite/tests/profiling/should_run/caller-cc/CallerCc3.prof.sample
- testsuite/tests/profiling/should_run/callstack001.stdout


Changes:

=====================================
compiler/GHC/Hs/Expr.hs
=====================================
@@ -443,7 +443,6 @@ type instance XXExpr GhcTc = XXExprGhcTc
 -- HsExpansion: see Note [Rebindable syntax and HsExpansion] below
 
 
-
 {- *********************************************************************
 *                                                                      *
               Generating code for HsExpanded
@@ -509,7 +508,6 @@ mkExpandedStmt
   -> HsExpr GhcRn         -- ^ suitably wrapped 'HsExpansion'
 mkExpandedStmt oStmt eExpr = XExpr (ExpandedThingRn (HsExpanded (OrigStmt oStmt) eExpr))
 
-
 mkExpandedPatRn
   :: LPat   GhcRn      -- ^ source pattern
   -> HsExpr GhcRn      -- ^ expanded expression
@@ -562,8 +560,6 @@ data XXExprGhcTc
      Int                                -- module-local tick number for False
      (LHsExpr GhcTc)                    -- sub-expression
 
-
-
 -- | Build a 'HsExpansion' out of an extension constructor,
 --   and the two components of the expansion: original and
 --   expanded typechecked expressions.
@@ -582,8 +578,6 @@ mkExpandedStmtTc
   -> HsExpr GhcTc           -- ^ suitably wrapped 'HsExpansion'
 mkExpandedStmtTc oStmt eExpr = XExpr (ExpandedThingTc (HsExpanded (OrigStmt oStmt) eExpr))
 
-
-
 {- *********************************************************************
 *                                                                      *
             Pretty-printing expressions
@@ -847,7 +841,7 @@ instance Outputable XXExprGhcTc where
 
   ppr (HsTick tickish exp) =
     pprTicks (ppr exp) $
-           ppr tickish <+> ppr_lexpr exp
+      ppr tickish <+> ppr_lexpr exp
 
   ppr (HsBinTick tickIdTrue tickIdFalse exp) =
     pprTicks (ppr exp) $


=====================================
compiler/GHC/Hs/Pat.hs
=====================================
@@ -543,7 +543,6 @@ type LPatIrrefutableCheck m p
     -> LPat p                         -- The LPat thing
     -> m Bool                         -- Is it irrefutable?
 
-
 -- | (isIrrefutableHsPat p) is true if matching against p cannot fail
 -- in the sense of falling through to the next pattern.
 --      (NB: this is not quite the same as the (silly) defn
@@ -556,6 +555,7 @@ type LPatIrrefutableCheck m p
 -- tuple patterns are considered irrefutable at the renamer stage.
 --
 -- But if it returns True, the pattern is definitely irrefutable
+-- Instantiates `isIrrefutableHsPatHelperM` with a trivial identity monad
 isIrrefutableHsPatHelper :: forall p. (OutputableBndrId p)
                          => Bool -- ^ Are we in a @-XStrict@ context?
                                  -- See Note [-XStrict and irrefutability]
@@ -578,8 +578,8 @@ isIrrefutableHsPatHelper is_strict pat = runIdentity $ doWork is_strict pat
                return $ b && and bs
 
 
--- This function is abstracts 2 things
--- 1. How to compare for irrefutability for a `ConLike` thing
+-- This function abstracts 2 things
+-- 1. How to compute irrefutability for a `ConLikeP` thing
 -- 2. The wrapper monad
 isIrrefutableHsPatHelperM :: forall m p. (Monad m, OutputableBndrId p)
                           => LPatIrrefutableCheck m (GhcPass p)


=====================================
compiler/GHC/HsToCore/Ticks.hs
=====================================
@@ -606,7 +606,6 @@ addTickHsExpr (XExpr (HsTick t e)) =
 addTickHsExpr (XExpr (HsBinTick t0 t1 e)) =
         liftM (XExpr . HsBinTick t0 t1) (addTickLHsExprNever e)
 
-
 addTickHsExpr (HsDo srcloc cxt (L l stmts))
   = do { (stmts', _) <- addTickLStmts' forQual stmts (return ())
        ; return (HsDo srcloc cxt (L l stmts')) }


=====================================
compiler/GHC/Rename/Expr.hs
=====================================
@@ -252,7 +252,7 @@ and the reasons for doing so.
   -  During the renaming phase, we may not have all the constructor details `HsConDetails` populated in the
      data structure. This would result in an inaccurate irrefutability analysis causing
      the continuation lambda body to be wrapped with `fail` alternatives when not needed.
-     See Part 1. of Note [Expanding HsDo with HsExpansion]
+     See Part 1. of Note [Expanding HsDo with HsExpansion] (test pattern-fails.hs)
 
   -  If the expansion is done on the fly during renaming, expressions that
      have explicit type applications using (-XTypeApplciations) will not work as the name freshening
@@ -2744,7 +2744,6 @@ getMonadFailOp ctxt
 *                                                                      *
 ********************************************************************* -}
 
-
 -- | Expand `HsIf` if rebindable syntax is turned on
 --   See Note [Handling overloaded and rebindable constructs]
 rnHsIf :: LHsExpr GhcPs -> LHsExpr GhcPs -> LHsExpr GhcPs -> RnM (HsExpr GhcRn, FreeVars)


=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -316,8 +316,6 @@ The latter is much better. That is why we call unifyExpectedType
 before tcValArgs.
 -}
 
-
-
 tcApp :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc)
 -- See Note [tcApp: typechecking applications]
 tcApp rn_expr exp_res_ty
@@ -350,8 +348,8 @@ tcApp rn_expr exp_res_ty
                  | insideExpansion fun_ctxt
                  = addHeadCtxt fun_ctxt thing_inside
                  | otherwise
-                 = do addFunResCtxt rn_fun rn_args app_res_rho exp_res_ty $
-                        thing_inside
+                 = addFunResCtxt rn_fun rn_args app_res_rho exp_res_ty $
+                   thing_inside
 
        -- Match up app_res_rho: the result type of rn_expr
        --     with exp_res_ty:  the expected result type
@@ -813,7 +811,6 @@ addArgCtxt ctxt (L arg_loc arg) thing_inside
                   addExprCtxt arg     $  -- Auto-suppressed if arg_loc is generated
                   thing_inside }
 
-
 {- *********************************************************************
 *                                                                      *
               Visible type application


=====================================
compiler/GHC/Tc/Gen/Do.hs
=====================================
@@ -392,12 +392,12 @@ It stores the original statement (with location) and the expanded expression
     See Note [Rebindable syntax and HsExpansion] in `GHC.Hs.Expr`.
 
   * Recall, that when a source function arugment fails to typecheck,
-    we print an error message "In the second argument of the function f..".
+    we print an error message like "In the second argument of the function f..".
     However, `(>>)` is generated thus we don't want to display that to the user, it would be confusing.
     But also, we do not want to completely ignore it as we do want to keep the error blame carets
     as precise as possible and not just blame the complete `do` block.
-    Thus when we typecheck the application `(>>) e1`, we push the "In the stmt of do block e1" with
-    the source location of `e1` in the error context stack as we walk inside an `ExpandedStmt` first.
+    Thus, when we typecheck the application `(>>) e1`, we push the "In the stmt of do block e1" with
+    the source location of `e1` in the error context stack as we walk inside an `ExpandedStmt`.
     See also Note [splitHsApps]
 
   * After the expanded expression of a `do` statement is typechecked


=====================================
compiler/GHC/Tc/Gen/Expr.hs
=====================================
@@ -684,8 +684,6 @@ tcXExpr xe@(ExpandedThingRn thing) res_ty
 
 tcXExpr xe res_ty = tcApp (XExpr xe) res_ty
                            -- See Wrinkle 2. of Note [Expanding HsDo with HsExpansion] in `GHC.Tc.Gen.Do`
-
-
 {-
 ************************************************************************
 *                                                                      *


=====================================
compiler/GHC/Tc/Gen/Pat.hs
=====================================
@@ -1656,7 +1656,7 @@ checkGADT conlike ex_tvs arg_tys = \case
 -- | Very similar to GHC.Tc.Pat.isIrrefutableHsPat, but doesn't typecheck the pattern
 --   It does depend on the type checker monad (`TcM`) however as we need to check ConPat case in more detail.
 --   Specifically, we call `tcLookupGlobal` to obtain constructor details from global packages
---   for a comprehensive irrefutability check and avoid false negatives.
+--   for a comprehensive irrefutability check and avoid false negatives. (testcase pattern-fails.hs)
 isIrrefutableHsPatRnTcM :: Bool -> LPat GhcRn -> TcM Bool
 isIrrefutableHsPatRnTcM is_strict = isIrrefutableHsPatHelperM is_strict isConLikeIrr
   where


=====================================
compiler/GHC/Tc/Utils/Monad.hs
=====================================
@@ -1301,8 +1301,6 @@ setCtLocM (CtLoc { ctl_env = lcl }) thing_inside
                      $ setLclEnvBinderStack (ctl_bndrs lcl)
                      $ env) thing_inside
 
-
-
 {- *********************************************************************
 *                                                                      *
              Error recovery and exceptions


=====================================
compiler/Language/Haskell/Syntax/Expr.hs
=====================================
@@ -45,7 +45,6 @@ import Data.Maybe
 import Data.List.NonEmpty ( NonEmpty )
 import GHC.Types.Name.Reader
 
-
 {- Note [RecordDotSyntax field updates]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 The extensions @OverloadedRecordDot@ @OverloadedRecordUpdate@ together


=====================================
testsuite/tests/profiling/should_run/caller-cc/CallerCc1.prof.sample
=====================================
@@ -1,79 +1,79 @@
-	Fri Nov 13 01:06 2020 Time and Allocation Profiling Report  (Final)
+	Thu Oct 12 08:47 2023 Time and Allocation Profiling Report  (Final)
 
 	   CallerCc1 +RTS -hc -p -RTS 7
 
-	total time  =        0.09 secs   (87 ticks @ 1000 us, 1 processor)
-	total alloc = 105,486,200 bytes  (excludes profiling overheads)
+	total time  =        0.14 secs   (138 ticks @ 1000 us, 1 processor)
+	total alloc = 104,890,152 bytes  (excludes profiling overheads)
 
 COST CENTRE    MODULE    SRC                        %time %alloc
 
-disin          Main      Main.hs:(74,1)-(83,11)      35.6   49.5
-insert         Main      Main.hs:(108,1)-(112,8)     21.8    1.7
-clause.clause' Main      Main.hs:(63,12)-(65,57)     17.2   37.5
-unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    6.9    2.6
-conjunct       Main      Main.hs:(70,1)-(71,18)       5.7    0.0
-split.split'   Main      Main.hs:(165,11)-(166,28)    3.4    2.3
-disin.dp       Main      Main.hs:80:3-14              3.4    0.0
-unicl          Main      Main.hs:(176,1)-(180,36)     2.3    1.1
-tautclause     Main      Main.hs:173:1-49             2.3    3.7
-disin.dq       Main      Main.hs:81:3-14              1.1    0.0
+disin          Main      Main.hs:(74,1)-(83,11)      36.2   49.8
+insert         Main      Main.hs:(108,1)-(112,8)     26.8    1.7
+clause.clause' Main      Main.hs:(63,12)-(65,57)     18.8   37.7
+conjunct       Main      Main.hs:(70,1)-(71,18)       6.5    0.0
+tautclause     Main      Main.hs:173:1-49             3.6    3.7
+split.split'   Main      Main.hs:(165,11)-(166,28)    3.6    2.3
+unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    2.2    2.0
+disin.dp       Main      Main.hs:80:3-14              1.4    0.0
+unicl          Main      Main.hs:(176,1)-(180,36)     0.0    1.1
 clause         Main      Main.hs:(61,1)-(65,57)       0.0    1.4
 
 
                                                                                                                  individual      inherited
 COST CENTRE                                   MODULE                SRC                       no.     entries  %time %alloc   %time %alloc
 
-MAIN                                          MAIN                  <built-in>                128           0    0.0    0.0   100.0  100.0
- CAF                                          Main                  <entire-module>           255           0    0.0    0.0     0.0    0.0
-  clauses                                     Main                  Main.hs:68:1-74           261           1    0.0    0.0     0.0    0.0
-   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            263           1    0.0    0.0     0.0    0.0
-  main                                        Main                  Main.hs:(42,1)-(44,23)    256           1    0.0    0.0     0.0    0.0
-  redstar                                     Main                  Main.hs:155:1-35          279           1    0.0    0.0     0.0    0.0
-  spaces                                      Main                  Main.hs:160:1-19          303           1    0.0    0.0     0.0    0.0
- CAF                                          GHC.Conc.Signal       <entire-module>           246           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding       <entire-module>           235           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding.Iconv <entire-module>           233           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Handle.FD      <entire-module>           225           0    0.0    0.0     0.0    0.0
- main                                         Main                  Main.hs:(42,1)-(44,23)    257           0    0.0    0.0   100.0  100.0
-  res                                         Main                  Main.hs:(46,1)-(48,26)    258           1    0.0    0.0   100.0   99.9
-   Main.main(calling:Data.Foldable.concat)    Main                  Main.hs:42:1-4            259           1    0.0    0.0     0.0    0.0
-   res.xs                                     Main                  Main.hs:47:8-69           260           1    0.0    0.0     0.0    0.0
-   clauses                                    Main                  Main.hs:68:1-74           262           0    0.0    0.0   100.0   99.9
-    disin                                     Main                  Main.hs:(74,1)-(83,11)    267      857598   35.6   49.5    46.0   49.5
-     conjunct                                 Main                  Main.hs:(70,1)-(71,18)    291      759353    5.7    0.0     5.7    0.0
-     disin.dp                                 Main                  Main.hs:80:3-14           292      380009    3.4    0.0     3.4    0.0
-     disin.dq                                 Main                  Main.hs:81:3-14           293      380009    1.1    0.0     1.1    0.0
-    negin                                     Main                  Main.hs:(119,1)-(124,11)  268        1617    0.0    0.1     0.0    0.1
-    elim                                      Main                  Main.hs:(89,1)-(94,57)    269        1393    0.0    0.1     0.0    0.1
-    disp                                      Main                  Main.hs:86:1-71           301           7    0.0    0.0     0.0    0.0
-     interleave                               Main                  Main.hs:(115,1)-(116,25)  302          35    0.0    0.0     0.0    0.0
-    parse                                     Main                  Main.hs:135:1-39          270           7    0.0    0.0     0.0    0.0
-     parse.(...)                              Main                  Main.hs:135:19-39         272           7    0.0    0.0     0.0    0.0
-      parse'                                  Main                  Main.hs:(137,1)-(145,42)  273         280    0.0    0.0     0.0    0.0
-       opri                                   Main                  Main.hs:(127,1)-(132,12)  276          56    0.0    0.0     0.0    0.0
-       spri                                   Main                  Main.hs:(169,1)-(170,10)  274          56    0.0    0.0     0.0    0.0
-        opri                                  Main                  Main.hs:(127,1)-(132,12)  275          49    0.0    0.0     0.0    0.0
-       parse'.(...)                           Main                  Main.hs:142:20-49         278          21    0.0    0.0     0.0    0.0
-        redstar                               Main                  Main.hs:155:1-35          280           0    0.0    0.0     0.0    0.0
-         spri                                 Main                  Main.hs:(169,1)-(170,10)  282          63    0.0    0.0     0.0    0.0
-          opri                                Main                  Main.hs:(127,1)-(132,12)  283          63    0.0    0.0     0.0    0.0
-         while                                Main                  Main.hs:182:1-48          281          63    0.0    0.0     0.0    0.0
-          red                                 Main                  Main.hs:(148,1)-(152,43)  284          42    0.0    0.0     0.0    0.0
-       parse'.s'                              Main                  Main.hs:142:20-49         285          21    0.0    0.0     0.0    0.0
-       parse'.x                               Main                  Main.hs:142:20-49         277          21    0.0    0.0     0.0    0.0
-       redstar                                Main                  Main.hs:155:1-35          286           0    0.0    0.0     0.0    0.0
-        spri                                  Main                  Main.hs:(169,1)-(170,10)  288          21    0.0    0.0     0.0    0.0
-         opri                                 Main                  Main.hs:(127,1)-(132,12)  289          14    0.0    0.0     0.0    0.0
-        while                                 Main                  Main.hs:182:1-48          287          21    0.0    0.0     0.0    0.0
-         red                                  Main                  Main.hs:(148,1)-(152,43)  290          14    0.0    0.0     0.0    0.0
-     parse.f                                  Main                  Main.hs:135:19-39         271           7    0.0    0.0     0.0    0.0
-    split                                     Main                  Main.hs:(163,1)-(166,28)  265           7    0.0    0.0     3.4    2.3
-     split.split'                             Main                  Main.hs:(165,11)-(166,28) 266       74837    3.4    2.3     3.4    2.3
-    unicl                                     Main                  Main.hs:(176,1)-(180,36)  264           7    2.3    1.1    50.6   48.0
-     unicl.unicl'                             Main                  Main.hs:(178,11)-(180,36) 294       37422    6.9    2.6    48.3   46.9
-      tautclause                              Main                  Main.hs:173:1-49          295       37422    2.3    3.7     2.3    3.7
-      unicl.unicl'.cp                         Main                  Main.hs:180:24-36         296       37422    0.0    0.0    39.1   40.6
-       clause                                 Main                  Main.hs:(61,1)-(65,57)    297       37422    0.0    1.4    39.1   40.6
-        clause.clause'                        Main                  Main.hs:(63,12)-(65,57)   298      696150   17.2   37.5    39.1   39.2
-         insert                               Main                  Main.hs:(108,1)-(112,8)   299      366786   21.8    1.7    21.8    1.7
-      insert                                  Main                  Main.hs:(108,1)-(112,8)   300           7    0.0    0.0     0.0    0.0
+MAIN                                          MAIN                  <built-in>                137           0    0.0    0.0   100.0  100.0
+ CAF                                          Main                  <entire-module>           273           0    0.0    0.0     0.0    0.0
+  clauses                                     Main                  Main.hs:68:1-74           280           1    0.0    0.0     0.0    0.0
+   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            282           1    0.0    0.0     0.0    0.0
+  main                                        Main                  Main.hs:(42,1)-(44,23)    274           1    0.0    0.0     0.0    0.0
+  redstar                                     Main                  Main.hs:155:1-35          298           1    0.0    0.0     0.0    0.0
+  spaces                                      Main                  Main.hs:160:1-19          322           1    0.0    0.0     0.0    0.0
+ CAF                                          GHC.Conc.Signal       <entire-module>           251           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding       <entire-module>           232           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding.Iconv <entire-module>           230           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Handle.FD      <entire-module>           221           0    0.0    0.0     0.0    0.0
+ main                                         Main                  Main.hs:(42,1)-(44,23)    275           0    0.0    0.0   100.0  100.0
+  main.\                                      Main                  Main.hs:44:3-23           276           1    0.0    0.0   100.0  100.0
+   res                                        Main                  Main.hs:(46,1)-(48,26)    277           1    0.0    0.0   100.0   99.9
+    Main.main(calling:Data.Foldable.concat)   Main                  Main.hs:42:1-4            278           1    0.0    0.0     0.0    0.0
+    res.xs                                    Main                  Main.hs:47:8-69           279           1    0.0    0.0     0.0    0.0
+    clauses                                   Main                  Main.hs:68:1-74           281           0    0.0    0.0   100.0   99.9
+     disin                                    Main                  Main.hs:(74,1)-(83,11)    286      857598   36.2   49.8    44.2   49.8
+      conjunct                                Main                  Main.hs:(70,1)-(71,18)    310      759353    6.5    0.0     6.5    0.0
+      disin.dp                                Main                  Main.hs:80:3-14           311      380009    1.4    0.0     1.4    0.0
+      disin.dq                                Main                  Main.hs:81:3-14           312      380009    0.0    0.0     0.0    0.0
+     negin                                    Main                  Main.hs:(119,1)-(124,11)  287        1617    0.7    0.1     0.7    0.1
+     elim                                     Main                  Main.hs:(89,1)-(94,57)    288        1393    0.0    0.1     0.0    0.1
+     disp                                     Main                  Main.hs:86:1-71           320           7    0.0    0.0     0.0    0.0
+      interleave                              Main                  Main.hs:(115,1)-(116,25)  321          35    0.0    0.0     0.0    0.0
+     parse                                    Main                  Main.hs:135:1-39          289           7    0.0    0.0     0.0    0.0
+      parse.(...)                             Main                  Main.hs:135:19-39         291           7    0.0    0.0     0.0    0.0
+       parse'                                 Main                  Main.hs:(137,1)-(145,42)  292         280    0.0    0.0     0.0    0.0
+        opri                                  Main                  Main.hs:(127,1)-(132,12)  295          56    0.0    0.0     0.0    0.0
+        spri                                  Main                  Main.hs:(169,1)-(170,10)  293          56    0.0    0.0     0.0    0.0
+         opri                                 Main                  Main.hs:(127,1)-(132,12)  294          49    0.0    0.0     0.0    0.0
+        parse'.(...)                          Main                  Main.hs:142:20-49         297          21    0.0    0.0     0.0    0.0
+         redstar                              Main                  Main.hs:155:1-35          299           0    0.0    0.0     0.0    0.0
+          spri                                Main                  Main.hs:(169,1)-(170,10)  301          63    0.0    0.0     0.0    0.0
+           opri                               Main                  Main.hs:(127,1)-(132,12)  302          63    0.0    0.0     0.0    0.0
+          while                               Main                  Main.hs:182:1-48          300          63    0.0    0.0     0.0    0.0
+           red                                Main                  Main.hs:(148,1)-(152,43)  303          42    0.0    0.0     0.0    0.0
+        parse'.s'                             Main                  Main.hs:142:20-49         304          21    0.0    0.0     0.0    0.0
+        parse'.x                              Main                  Main.hs:142:20-49         296          21    0.0    0.0     0.0    0.0
+        redstar                               Main                  Main.hs:155:1-35          305           0    0.0    0.0     0.0    0.0
+         spri                                 Main                  Main.hs:(169,1)-(170,10)  307          21    0.0    0.0     0.0    0.0
+          opri                                Main                  Main.hs:(127,1)-(132,12)  308          14    0.0    0.0     0.0    0.0
+         while                                Main                  Main.hs:182:1-48          306          21    0.0    0.0     0.0    0.0
+          red                                 Main                  Main.hs:(148,1)-(152,43)  309          14    0.0    0.0     0.0    0.0
+      parse.f                                 Main                  Main.hs:135:19-39         290           7    0.0    0.0     0.0    0.0
+     split                                    Main                  Main.hs:(163,1)-(166,28)  284           7    0.0    0.0     3.6    2.3
+      split.split'                            Main                  Main.hs:(165,11)-(166,28) 285       74837    3.6    2.3     3.6    2.3
+     unicl                                    Main                  Main.hs:(176,1)-(180,36)  283           7    0.0    1.1    51.4   47.7
+      unicl.unicl'                            Main                  Main.hs:(178,11)-(180,36) 313       37422    2.2    2.0    51.4   46.6
+       tautclause                             Main                  Main.hs:173:1-49          314       37422    3.6    3.7     3.6    3.7
+       unicl.unicl'.cp                        Main                  Main.hs:180:24-36         315       37422    0.0    0.0    45.7   40.9
+        clause                                Main                  Main.hs:(61,1)-(65,57)    316       37422    0.0    1.4    45.7   40.9
+         clause.clause'                       Main                  Main.hs:(63,12)-(65,57)   317      696150   18.8   37.7    45.7   39.5
+          insert                              Main                  Main.hs:(108,1)-(112,8)   318      366786   26.8    1.7    26.8    1.7
+       insert                                 Main                  Main.hs:(108,1)-(112,8)   319           7    0.0    0.0     0.0    0.0


=====================================
testsuite/tests/profiling/should_run/caller-cc/CallerCc2.prof.sample
=====================================
@@ -1,78 +1,81 @@
-	Fri Nov 13 01:06 2020 Time and Allocation Profiling Report  (Final)
+	Thu Oct 12 08:47 2023 Time and Allocation Profiling Report  (Final)
 
 	   CallerCc2 +RTS -hc -p -RTS 7
 
-	total time  =        0.09 secs   (91 ticks @ 1000 us, 1 processor)
-	total alloc = 105,486,200 bytes  (excludes profiling overheads)
+	total time  =        0.13 secs   (127 ticks @ 1000 us, 1 processor)
+	total alloc = 104,890,152 bytes  (excludes profiling overheads)
 
 COST CENTRE    MODULE    SRC                        %time %alloc
 
-disin          Main      Main.hs:(74,1)-(83,11)      26.4   49.5
-clause.clause' Main      Main.hs:(63,12)-(65,57)     23.1   37.5
-insert         Main      Main.hs:(108,1)-(112,8)     18.7    1.7
-conjunct       Main      Main.hs:(70,1)-(71,18)       8.8    0.0
-unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    5.5    2.6
-tautclause     Main      Main.hs:173:1-49             5.5    3.7
-unicl          Main      Main.hs:(176,1)-(180,36)     3.3    1.1
-split.split'   Main      Main.hs:(165,11)-(166,28)    3.3    2.3
-disin.dp       Main      Main.hs:80:3-14              3.3    0.0
-clause         Main      Main.hs:(61,1)-(65,57)       2.2    1.4
+disin          Main      Main.hs:(74,1)-(83,11)      32.3   49.8
+insert         Main      Main.hs:(108,1)-(112,8)     21.3    1.7
+clause.clause' Main      Main.hs:(63,12)-(65,57)     20.5   37.7
+conjunct       Main      Main.hs:(70,1)-(71,18)       8.7    0.0
+tautclause     Main      Main.hs:173:1-49             6.3    3.7
+disin.dp       Main      Main.hs:80:3-14              3.9    0.0
+disin.dq       Main      Main.hs:81:3-14              2.4    0.0
+split.split'   Main      Main.hs:(165,11)-(166,28)    1.6    2.3
+parse'         Main      Main.hs:(137,1)-(145,42)     1.6    0.0
+unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    0.8    2.0
+unicl          Main      Main.hs:(176,1)-(180,36)     0.8    1.1
+clause         Main      Main.hs:(61,1)-(65,57)       0.0    1.4
 
 
                                                                                                                  individual      inherited
 COST CENTRE                                   MODULE                SRC                       no.     entries  %time %alloc   %time %alloc
 
-MAIN                                          MAIN                  <built-in>                128           0    0.0    0.0   100.0  100.0
- CAF                                          Main                  <entire-module>           255           0    0.0    0.0     0.0    0.0
-  clauses                                     Main                  Main.hs:68:1-74           261           1    0.0    0.0     0.0    0.0
-   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            263           1    0.0    0.0     0.0    0.0
-  main                                        Main                  Main.hs:(42,1)-(44,23)    256           1    0.0    0.0     0.0    0.0
-  redstar                                     Main                  Main.hs:155:1-35          279           1    0.0    0.0     0.0    0.0
-  spaces                                      Main                  Main.hs:160:1-19          303           1    0.0    0.0     0.0    0.0
- CAF                                          GHC.Conc.Signal       <entire-module>           246           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding       <entire-module>           235           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding.Iconv <entire-module>           233           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Handle.FD      <entire-module>           225           0    0.0    0.0     0.0    0.0
- main                                         Main                  Main.hs:(42,1)-(44,23)    257           0    0.0    0.0   100.0  100.0
-  res                                         Main                  Main.hs:(46,1)-(48,26)    258           1    0.0    0.0   100.0   99.9
-   Main.main(calling:Data.Foldable.concat)    Main                  Main.hs:42:1-4            259           1    0.0    0.0     0.0    0.0
-   res.xs                                     Main                  Main.hs:47:8-69           260           1    0.0    0.0     0.0    0.0
-   clauses                                    Main                  Main.hs:68:1-74           262           0    0.0    0.0   100.0   99.9
-    disin                                     Main                  Main.hs:(74,1)-(83,11)    267      857598   26.4   49.5    38.5   49.5
-     conjunct                                 Main                  Main.hs:(70,1)-(71,18)    291      759353    8.8    0.0     8.8    0.0
-     disin.dp                                 Main                  Main.hs:80:3-14           292      380009    3.3    0.0     3.3    0.0
-     disin.dq                                 Main                  Main.hs:81:3-14           293      380009    0.0    0.0     0.0    0.0
-    negin                                     Main                  Main.hs:(119,1)-(124,11)  268        1617    0.0    0.1     0.0    0.1
-    elim                                      Main                  Main.hs:(89,1)-(94,57)    269        1393    0.0    0.1     0.0    0.1
-    disp                                      Main                  Main.hs:86:1-71           301           7    0.0    0.0     0.0    0.0
-     interleave                               Main                  Main.hs:(115,1)-(116,25)  302          35    0.0    0.0     0.0    0.0
-    parse                                     Main                  Main.hs:135:1-39          270           7    0.0    0.0     0.0    0.0
-     parse.(...)                              Main                  Main.hs:135:19-39         272           7    0.0    0.0     0.0    0.0
-      parse'                                  Main                  Main.hs:(137,1)-(145,42)  273         280    0.0    0.0     0.0    0.0
-       opri                                   Main                  Main.hs:(127,1)-(132,12)  276          56    0.0    0.0     0.0    0.0
-       spri                                   Main                  Main.hs:(169,1)-(170,10)  274          56    0.0    0.0     0.0    0.0
-        opri                                  Main                  Main.hs:(127,1)-(132,12)  275          49    0.0    0.0     0.0    0.0
-       parse'.(...)                           Main                  Main.hs:142:20-49         278          21    0.0    0.0     0.0    0.0
-        redstar                               Main                  Main.hs:155:1-35          280           0    0.0    0.0     0.0    0.0
-         spri                                 Main                  Main.hs:(169,1)-(170,10)  282          63    0.0    0.0     0.0    0.0
-          opri                                Main                  Main.hs:(127,1)-(132,12)  283          63    0.0    0.0     0.0    0.0
-         while                                Main                  Main.hs:182:1-48          281          63    0.0    0.0     0.0    0.0
-          red                                 Main                  Main.hs:(148,1)-(152,43)  284          42    0.0    0.0     0.0    0.0
-       parse'.s'                              Main                  Main.hs:142:20-49         285          21    0.0    0.0     0.0    0.0
-       parse'.x                               Main                  Main.hs:142:20-49         277          21    0.0    0.0     0.0    0.0
-       redstar                                Main                  Main.hs:155:1-35          286           0    0.0    0.0     0.0    0.0
-        spri                                  Main                  Main.hs:(169,1)-(170,10)  288          21    0.0    0.0     0.0    0.0
-         opri                                 Main                  Main.hs:(127,1)-(132,12)  289          14    0.0    0.0     0.0    0.0
-        while                                 Main                  Main.hs:182:1-48          287          21    0.0    0.0     0.0    0.0
-         red                                  Main                  Main.hs:(148,1)-(152,43)  290          14    0.0    0.0     0.0    0.0
-     parse.f                                  Main                  Main.hs:135:19-39         271           7    0.0    0.0     0.0    0.0
-    split                                     Main                  Main.hs:(163,1)-(166,28)  265           7    0.0    0.0     3.3    2.3
-     split.split'                             Main                  Main.hs:(165,11)-(166,28) 266       74837    3.3    2.3     3.3    2.3
-    unicl                                     Main                  Main.hs:(176,1)-(180,36)  264           7    3.3    1.1    58.2   48.0
-     unicl.unicl'                             Main                  Main.hs:(178,11)-(180,36) 294       37422    5.5    2.6    54.9   46.9
-      tautclause                              Main                  Main.hs:173:1-49          295       37422    5.5    3.7     5.5    3.7
-      unicl.unicl'.cp                         Main                  Main.hs:180:24-36         296       37422    0.0    0.0    44.0   40.6
-       clause                                 Main                  Main.hs:(61,1)-(65,57)    297       37422    2.2    1.4    44.0   40.6
-        clause.clause'                        Main                  Main.hs:(63,12)-(65,57)   298      696150   23.1   37.5    41.8   39.2
-         insert                               Main                  Main.hs:(108,1)-(112,8)   299      366786   18.7    1.7    18.7    1.7
-      insert                                  Main                  Main.hs:(108,1)-(112,8)   300           7    0.0    0.0     0.0    0.0
+MAIN                                          MAIN                  <built-in>                137           0    0.0    0.0   100.0  100.0
+ CAF                                          Main                  <entire-module>           273           0    0.0    0.0     0.0    0.0
+  clauses                                     Main                  Main.hs:68:1-74           280           1    0.0    0.0     0.0    0.0
+   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            282           1    0.0    0.0     0.0    0.0
+  main                                        Main                  Main.hs:(42,1)-(44,23)    274           1    0.0    0.0     0.0    0.0
+  redstar                                     Main                  Main.hs:155:1-35          298           1    0.0    0.0     0.0    0.0
+  spaces                                      Main                  Main.hs:160:1-19          322           1    0.0    0.0     0.0    0.0
+ CAF                                          GHC.Conc.Signal       <entire-module>           251           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding       <entire-module>           232           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding.Iconv <entire-module>           230           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Handle.FD      <entire-module>           221           0    0.0    0.0     0.0    0.0
+ main                                         Main                  Main.hs:(42,1)-(44,23)    275           0    0.0    0.0   100.0  100.0
+  main.\                                      Main                  Main.hs:44:3-23           276           1    0.0    0.0   100.0  100.0
+   res                                        Main                  Main.hs:(46,1)-(48,26)    277           1    0.0    0.0   100.0   99.9
+    Main.main(calling:Data.Foldable.concat)   Main                  Main.hs:42:1-4            278           1    0.0    0.0     0.0    0.0
+    res.xs                                    Main                  Main.hs:47:8-69           279           1    0.0    0.0     0.0    0.0
+    clauses                                   Main                  Main.hs:68:1-74           281           0    0.0    0.0   100.0   99.9
+     disin                                    Main                  Main.hs:(74,1)-(83,11)    286      857598   32.3   49.8    47.2   49.8
+      conjunct                                Main                  Main.hs:(70,1)-(71,18)    310      759353    8.7    0.0     8.7    0.0
+      disin.dp                                Main                  Main.hs:80:3-14           311      380009    3.9    0.0     3.9    0.0
+      disin.dq                                Main                  Main.hs:81:3-14           312      380009    2.4    0.0     2.4    0.0
+     negin                                    Main                  Main.hs:(119,1)-(124,11)  287        1617    0.0    0.1     0.0    0.1
+     elim                                     Main                  Main.hs:(89,1)-(94,57)    288        1393    0.0    0.1     0.0    0.1
+     disp                                     Main                  Main.hs:86:1-71           320           7    0.0    0.0     0.0    0.0
+      interleave                              Main                  Main.hs:(115,1)-(116,25)  321          35    0.0    0.0     0.0    0.0
+     parse                                    Main                  Main.hs:135:1-39          289           7    0.0    0.0     1.6    0.0
+      parse.(...)                             Main                  Main.hs:135:19-39         291           7    0.0    0.0     1.6    0.0
+       parse'                                 Main                  Main.hs:(137,1)-(145,42)  292         280    1.6    0.0     1.6    0.0
+        opri                                  Main                  Main.hs:(127,1)-(132,12)  295          56    0.0    0.0     0.0    0.0
+        spri                                  Main                  Main.hs:(169,1)-(170,10)  293          56    0.0    0.0     0.0    0.0
+         opri                                 Main                  Main.hs:(127,1)-(132,12)  294          49    0.0    0.0     0.0    0.0
+        parse'.(...)                          Main                  Main.hs:142:20-49         297          21    0.0    0.0     0.0    0.0
+         redstar                              Main                  Main.hs:155:1-35          299           0    0.0    0.0     0.0    0.0
+          spri                                Main                  Main.hs:(169,1)-(170,10)  301          63    0.0    0.0     0.0    0.0
+           opri                               Main                  Main.hs:(127,1)-(132,12)  302          63    0.0    0.0     0.0    0.0
+          while                               Main                  Main.hs:182:1-48          300          63    0.0    0.0     0.0    0.0
+           red                                Main                  Main.hs:(148,1)-(152,43)  303          42    0.0    0.0     0.0    0.0
+        parse'.s'                             Main                  Main.hs:142:20-49         304          21    0.0    0.0     0.0    0.0
+        parse'.x                              Main                  Main.hs:142:20-49         296          21    0.0    0.0     0.0    0.0
+        redstar                               Main                  Main.hs:155:1-35          305           0    0.0    0.0     0.0    0.0
+         spri                                 Main                  Main.hs:(169,1)-(170,10)  307          21    0.0    0.0     0.0    0.0
+          opri                                Main                  Main.hs:(127,1)-(132,12)  308          14    0.0    0.0     0.0    0.0
+         while                                Main                  Main.hs:182:1-48          306          21    0.0    0.0     0.0    0.0
+          red                                 Main                  Main.hs:(148,1)-(152,43)  309          14    0.0    0.0     0.0    0.0
+      parse.f                                 Main                  Main.hs:135:19-39         290           7    0.0    0.0     0.0    0.0
+     split                                    Main                  Main.hs:(163,1)-(166,28)  284           7    0.0    0.0     1.6    2.3
+      split.split'                            Main                  Main.hs:(165,11)-(166,28) 285       74837    1.6    2.3     1.6    2.3
+     unicl                                    Main                  Main.hs:(176,1)-(180,36)  283           7    0.8    1.1    49.6   47.7
+      unicl.unicl'                            Main                  Main.hs:(178,11)-(180,36) 313       37422    0.8    2.0    48.8   46.6
+       tautclause                             Main                  Main.hs:173:1-49          314       37422    6.3    3.7     6.3    3.7
+       unicl.unicl'.cp                        Main                  Main.hs:180:24-36         315       37422    0.0    0.0    41.7   40.9
+        clause                                Main                  Main.hs:(61,1)-(65,57)    316       37422    0.0    1.4    41.7   40.9
+         clause.clause'                       Main                  Main.hs:(63,12)-(65,57)   317      696150   20.5   37.7    41.7   39.5
+          insert                              Main                  Main.hs:(108,1)-(112,8)   318      366786   21.3    1.7    21.3    1.7
+       insert                                 Main                  Main.hs:(108,1)-(112,8)   319           7    0.0    0.0     0.0    0.0


=====================================
testsuite/tests/profiling/should_run/caller-cc/CallerCc3.prof.sample
=====================================
@@ -1,78 +1,78 @@
-	Fri Nov 13 01:06 2020 Time and Allocation Profiling Report  (Final)
+	Thu Oct 12 08:47 2023 Time and Allocation Profiling Report  (Final)
 
 	   CallerCc3 +RTS -hc -p -RTS 7
 
-	total time  =        0.09 secs   (85 ticks @ 1000 us, 1 processor)
-	total alloc = 105,486,200 bytes  (excludes profiling overheads)
+	total time  =        0.21 secs   (208 ticks @ 1000 us, 1 processor)
+	total alloc = 104,890,152 bytes  (excludes profiling overheads)
 
 COST CENTRE    MODULE    SRC                        %time %alloc
 
-disin          Main      Main.hs:(74,1)-(83,11)      29.4   49.5
-insert         Main      Main.hs:(108,1)-(112,8)     24.7    1.7
-clause.clause' Main      Main.hs:(63,12)-(65,57)     23.5   37.5
-conjunct       Main      Main.hs:(70,1)-(71,18)      10.6    0.0
-tautclause     Main      Main.hs:173:1-49             4.7    3.7
-unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    3.5    2.6
-split.split'   Main      Main.hs:(165,11)-(166,28)    2.4    2.3
-disin.dp       Main      Main.hs:80:3-14              1.2    0.0
-unicl          Main      Main.hs:(176,1)-(180,36)     0.0    1.1
+disin          Main      Main.hs:(74,1)-(83,11)      29.8   49.8
+insert         Main      Main.hs:(108,1)-(112,8)     28.8    1.7
+clause.clause' Main      Main.hs:(63,12)-(65,57)     22.6   37.7
+conjunct       Main      Main.hs:(70,1)-(71,18)       8.2    0.0
+tautclause     Main      Main.hs:173:1-49             5.8    3.7
+unicl.unicl'   Main      Main.hs:(178,11)-(180,36)    1.4    2.0
+split.split'   Main      Main.hs:(165,11)-(166,28)    1.4    2.3
+unicl          Main      Main.hs:(176,1)-(180,36)     0.5    1.1
 clause         Main      Main.hs:(61,1)-(65,57)       0.0    1.4
 
 
                                                                                                                  individual      inherited
 COST CENTRE                                   MODULE                SRC                       no.     entries  %time %alloc   %time %alloc
 
-MAIN                                          MAIN                  <built-in>                128           0    0.0    0.0   100.0  100.0
- CAF                                          Main                  <entire-module>           255           0    0.0    0.0     0.0    0.0
-  clauses                                     Main                  Main.hs:68:1-74           261           1    0.0    0.0     0.0    0.0
-   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            263           1    0.0    0.0     0.0    0.0
-  main                                        Main                  Main.hs:(42,1)-(44,23)    256           1    0.0    0.0     0.0    0.0
-  redstar                                     Main                  Main.hs:155:1-35          279           1    0.0    0.0     0.0    0.0
-  spaces                                      Main                  Main.hs:160:1-19          303           1    0.0    0.0     0.0    0.0
- CAF                                          GHC.Conc.Signal       <entire-module>           246           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding       <entire-module>           235           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Encoding.Iconv <entire-module>           233           0    0.0    0.0     0.0    0.0
- CAF                                          GHC.IO.Handle.FD      <entire-module>           225           0    0.0    0.0     0.0    0.0
- main                                         Main                  Main.hs:(42,1)-(44,23)    257           0    0.0    0.0   100.0  100.0
-  res                                         Main                  Main.hs:(46,1)-(48,26)    258           1    0.0    0.0   100.0   99.9
-   Main.main(calling:Data.Foldable.concat)    Main                  Main.hs:42:1-4            259           1    0.0    0.0     0.0    0.0
-   res.xs                                     Main                  Main.hs:47:8-69           260           1    0.0    0.0     0.0    0.0
-   clauses                                    Main                  Main.hs:68:1-74           262           0    0.0    0.0   100.0   99.9
-    disin                                     Main                  Main.hs:(74,1)-(83,11)    267      857598   29.4   49.5    41.2   49.5
-     conjunct                                 Main                  Main.hs:(70,1)-(71,18)    291      759353   10.6    0.0    10.6    0.0
-     disin.dp                                 Main                  Main.hs:80:3-14           292      380009    1.2    0.0     1.2    0.0
-     disin.dq                                 Main                  Main.hs:81:3-14           293      380009    0.0    0.0     0.0    0.0
-    negin                                     Main                  Main.hs:(119,1)-(124,11)  268        1617    0.0    0.1     0.0    0.1
-    elim                                      Main                  Main.hs:(89,1)-(94,57)    269        1393    0.0    0.1     0.0    0.1
-    disp                                      Main                  Main.hs:86:1-71           301           7    0.0    0.0     0.0    0.0
-     interleave                               Main                  Main.hs:(115,1)-(116,25)  302          35    0.0    0.0     0.0    0.0
-    parse                                     Main                  Main.hs:135:1-39          270           7    0.0    0.0     0.0    0.0
-     parse.(...)                              Main                  Main.hs:135:19-39         272           7    0.0    0.0     0.0    0.0
-      parse'                                  Main                  Main.hs:(137,1)-(145,42)  273         280    0.0    0.0     0.0    0.0
-       opri                                   Main                  Main.hs:(127,1)-(132,12)  276          56    0.0    0.0     0.0    0.0
-       spri                                   Main                  Main.hs:(169,1)-(170,10)  274          56    0.0    0.0     0.0    0.0
-        opri                                  Main                  Main.hs:(127,1)-(132,12)  275          49    0.0    0.0     0.0    0.0
-       parse'.(...)                           Main                  Main.hs:142:20-49         278          21    0.0    0.0     0.0    0.0
-        redstar                               Main                  Main.hs:155:1-35          280           0    0.0    0.0     0.0    0.0
-         spri                                 Main                  Main.hs:(169,1)-(170,10)  282          63    0.0    0.0     0.0    0.0
-          opri                                Main                  Main.hs:(127,1)-(132,12)  283          63    0.0    0.0     0.0    0.0
-         while                                Main                  Main.hs:182:1-48          281          63    0.0    0.0     0.0    0.0
-          red                                 Main                  Main.hs:(148,1)-(152,43)  284          42    0.0    0.0     0.0    0.0
-       parse'.s'                              Main                  Main.hs:142:20-49         285          21    0.0    0.0     0.0    0.0
-       parse'.x                               Main                  Main.hs:142:20-49         277          21    0.0    0.0     0.0    0.0
-       redstar                                Main                  Main.hs:155:1-35          286           0    0.0    0.0     0.0    0.0
-        spri                                  Main                  Main.hs:(169,1)-(170,10)  288          21    0.0    0.0     0.0    0.0
-         opri                                 Main                  Main.hs:(127,1)-(132,12)  289          14    0.0    0.0     0.0    0.0
-        while                                 Main                  Main.hs:182:1-48          287          21    0.0    0.0     0.0    0.0
-         red                                  Main                  Main.hs:(148,1)-(152,43)  290          14    0.0    0.0     0.0    0.0
-     parse.f                                  Main                  Main.hs:135:19-39         271           7    0.0    0.0     0.0    0.0
-    split                                     Main                  Main.hs:(163,1)-(166,28)  265           7    0.0    0.0     2.4    2.3
-     split.split'                             Main                  Main.hs:(165,11)-(166,28) 266       74837    2.4    2.3     2.4    2.3
-    unicl                                     Main                  Main.hs:(176,1)-(180,36)  264           7    0.0    1.1    56.5   48.0
-     unicl.unicl'                             Main                  Main.hs:(178,11)-(180,36) 294       37422    3.5    2.6    56.5   46.9
-      tautclause                              Main                  Main.hs:173:1-49          295       37422    4.7    3.7     4.7    3.7
-      unicl.unicl'.cp                         Main                  Main.hs:180:24-36         296       37422    0.0    0.0    48.2   40.6
-       clause                                 Main                  Main.hs:(61,1)-(65,57)    297       37422    0.0    1.4    48.2   40.6
-        clause.clause'                        Main                  Main.hs:(63,12)-(65,57)   298      696150   23.5   37.5    48.2   39.2
-         insert                               Main                  Main.hs:(108,1)-(112,8)   299      366786   24.7    1.7    24.7    1.7
-      insert                                  Main                  Main.hs:(108,1)-(112,8)   300           7    0.0    0.0     0.0    0.0
+MAIN                                          MAIN                  <built-in>                137           0    0.0    0.0   100.0  100.0
+ CAF                                          Main                  <entire-module>           273           0    0.0    0.0     0.0    0.0
+  clauses                                     Main                  Main.hs:68:1-74           280           1    0.0    0.0     0.0    0.0
+   Main.clauses(calling:Data.Foldable.concat) Main                  Main.hs:68:1-7            282           1    0.0    0.0     0.0    0.0
+  main                                        Main                  Main.hs:(42,1)-(44,23)    274           1    0.0    0.0     0.0    0.0
+  redstar                                     Main                  Main.hs:155:1-35          298           1    0.0    0.0     0.0    0.0
+  spaces                                      Main                  Main.hs:160:1-19          322           1    0.0    0.0     0.0    0.0
+ CAF                                          GHC.Conc.Signal       <entire-module>           251           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding       <entire-module>           232           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Encoding.Iconv <entire-module>           230           0    0.0    0.0     0.0    0.0
+ CAF                                          GHC.IO.Handle.FD      <entire-module>           221           0    0.0    0.0     0.0    0.0
+ main                                         Main                  Main.hs:(42,1)-(44,23)    275           0    0.0    0.0   100.0  100.0
+  main.\                                      Main                  Main.hs:44:3-23           276           1    0.0    0.0   100.0  100.0
+   res                                        Main                  Main.hs:(46,1)-(48,26)    277           1    0.0    0.0   100.0   99.9
+    Main.main(calling:Data.Foldable.concat)   Main                  Main.hs:42:1-4            278           1    0.0    0.0     0.0    0.0
+    res.xs                                    Main                  Main.hs:47:8-69           279           1    0.0    0.0     0.0    0.0
+    clauses                                   Main                  Main.hs:68:1-74           281           0    0.0    0.0   100.0   99.9
+     disin                                    Main                  Main.hs:(74,1)-(83,11)    286      857598   29.8   49.8    39.4   49.8
+      conjunct                                Main                  Main.hs:(70,1)-(71,18)    310      759353    8.2    0.0     8.2    0.0
+      disin.dp                                Main                  Main.hs:80:3-14           311      380009    1.0    0.0     1.0    0.0
+      disin.dq                                Main                  Main.hs:81:3-14           312      380009    0.5    0.0     0.5    0.0
+     negin                                    Main                  Main.hs:(119,1)-(124,11)  287        1617    0.0    0.1     0.0    0.1
+     elim                                     Main                  Main.hs:(89,1)-(94,57)    288        1393    0.0    0.1     0.0    0.1
+     disp                                     Main                  Main.hs:86:1-71           320           7    0.0    0.0     0.0    0.0
+      interleave                              Main                  Main.hs:(115,1)-(116,25)  321          35    0.0    0.0     0.0    0.0
+     parse                                    Main                  Main.hs:135:1-39          289           7    0.0    0.0     0.0    0.0
+      parse.(...)                             Main                  Main.hs:135:19-39         291           7    0.0    0.0     0.0    0.0
+       parse'                                 Main                  Main.hs:(137,1)-(145,42)  292         280    0.0    0.0     0.0    0.0
+        opri                                  Main                  Main.hs:(127,1)-(132,12)  295          56    0.0    0.0     0.0    0.0
+        spri                                  Main                  Main.hs:(169,1)-(170,10)  293          56    0.0    0.0     0.0    0.0
+         opri                                 Main                  Main.hs:(127,1)-(132,12)  294          49    0.0    0.0     0.0    0.0
+        parse'.(...)                          Main                  Main.hs:142:20-49         297          21    0.0    0.0     0.0    0.0
+         redstar                              Main                  Main.hs:155:1-35          299           0    0.0    0.0     0.0    0.0
+          spri                                Main                  Main.hs:(169,1)-(170,10)  301          63    0.0    0.0     0.0    0.0
+           opri                               Main                  Main.hs:(127,1)-(132,12)  302          63    0.0    0.0     0.0    0.0
+          while                               Main                  Main.hs:182:1-48          300          63    0.0    0.0     0.0    0.0
+           red                                Main                  Main.hs:(148,1)-(152,43)  303          42    0.0    0.0     0.0    0.0
+        parse'.s'                             Main                  Main.hs:142:20-49         304          21    0.0    0.0     0.0    0.0
+        parse'.x                              Main                  Main.hs:142:20-49         296          21    0.0    0.0     0.0    0.0
+        redstar                               Main                  Main.hs:155:1-35          305           0    0.0    0.0     0.0    0.0
+         spri                                 Main                  Main.hs:(169,1)-(170,10)  307          21    0.0    0.0     0.0    0.0
+          opri                                Main                  Main.hs:(127,1)-(132,12)  308          14    0.0    0.0     0.0    0.0
+         while                                Main                  Main.hs:182:1-48          306          21    0.0    0.0     0.0    0.0
+          red                                 Main                  Main.hs:(148,1)-(152,43)  309          14    0.0    0.0     0.0    0.0
+      parse.f                                 Main                  Main.hs:135:19-39         290           7    0.0    0.0     0.0    0.0
+     split                                    Main                  Main.hs:(163,1)-(166,28)  284           7    0.0    0.0     1.4    2.3
+      split.split'                            Main                  Main.hs:(165,11)-(166,28) 285       74837    1.4    2.3     1.4    2.3
+     unicl                                    Main                  Main.hs:(176,1)-(180,36)  283           7    0.5    1.1    59.1   47.7
+      unicl.unicl'                            Main                  Main.hs:(178,11)-(180,36) 313       37422    1.4    2.0    58.7   46.6
+       tautclause                             Main                  Main.hs:173:1-49          314       37422    5.8    3.7     5.8    3.7
+       unicl.unicl'.cp                        Main                  Main.hs:180:24-36         315       37422    0.0    0.0    51.4   40.9
+        clause                                Main                  Main.hs:(61,1)-(65,57)    316       37422    0.0    1.4    51.4   40.9
+         clause.clause'                       Main                  Main.hs:(63,12)-(65,57)   317      696150   22.6   37.7    51.4   39.5
+          insert                              Main                  Main.hs:(108,1)-(112,8)   318      366786   28.8    1.7    28.8    1.7
+       insert                                 Main                  Main.hs:(108,1)-(112,8)   319           7    0.0    0.0     0.0    0.0


=====================================
testsuite/tests/profiling/should_run/callstack001.stdout
=====================================
@@ -1,2 +1,2 @@
-["Main.main (callstack001.hs:17:8-21)","Main.mapM (callstack001.hs:10:13-17)","Main.mapM.go (callstack001.hs:13:17-19)","Main.f (callstack001.hs:7:10-35)"]
-["Main.main (callstack001.hs:17:8-21)","Main.mapM (callstack001.hs:10:13-17)","Main.mapM.go (callstack001.hs:13:17-19)","Main.f (callstack001.hs:7:10-35)"]
+["Main.main (callstack001.hs:17:8-21)","Main.mapM (callstack001.hs:10:13-17)","Main.mapM.go (callstack001.hs:(12,21)-(15,25))","Main.mapM.go (callstack001.hs:13:17-19)","Main.f (callstack001.hs:7:10-35)"]
+["Main.main (callstack001.hs:17:8-21)","Main.mapM (callstack001.hs:10:13-17)","Main.mapM.go (callstack001.hs:(12,21)-(15,25))","Main.mapM.go (callstack001.hs:14:11-26)","Main.mapM.go (callstack001.hs:13:17-19)","Main.f (callstack001.hs:7:10-35)"]



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/a6bfdbc2296fcba35cd7811e0159a7f488200874...ce8b71de1a9ffb49952972d0f2b537b30dcabe4c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/a6bfdbc2296fcba35cd7811e0159a7f488200874...ce8b71de1a9ffb49952972d0f2b537b30dcabe4c
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20231012/1f1cc881/attachment-0001.html>


More information about the ghc-commits mailing list