Add `-dsuppress-core-sizes` flag (#20342)

This flag is used to remove the output of core stats per binding in Core
dumps.

3 files changed, 23 insertions, 0 deletions

diff --git a/testsuite/tests/deSugar/should_compile/T16615.stderr b/testsuite/tests/deSugar/should_compile/T16615.stderr
index 85d6ea2f5c..0a758bb046 100644
--- a/testsuite/tests/deSugar/should_compile/T16615.stderr
+++ b/testsuite/tests/deSugar/should_compile/T16615.stderr
@@ -3,6 +3,7 @@
 Result size of Desugar (after optimization)
   = {terms: 36, types: 13, coercions: 0, joins: 0/0}
 
+-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0}
 T16615.$trModule :: GHC.Types.Module
 [LclIdX,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
@@ -12,6 +13,7 @@ T16615.$trModule
       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T16615"#)
 
 Rec {
+-- RHS size: {terms: 14, types: 4, coercions: 0, joins: 0/0}
 g :: Int -> Bool
 [LclIdX,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
@@ -22,6 +24,7 @@ g = \ (i :: Int) ->
         True -> GHC.Types.False
       }
 
+-- RHS size: {terms: 14, types: 4, coercions: 0, joins: 0/0}
 f [Occ=LoopBreaker] :: Int -> Bool
 [LclIdX,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
diff --git a/testsuite/tests/deSugar/should_compile/T19969.stderr b/testsuite/tests/deSugar/should_compile/T19969.stderr
index 2a780e1a3b..5e23785472 100644
--- a/testsuite/tests/deSugar/should_compile/T19969.stderr
+++ b/testsuite/tests/deSugar/should_compile/T19969.stderr
@@ -4,11 +4,13 @@ Result size of Tidy Core
   = {terms: 12, types: 18, coercions: 0, joins: 0/0}
 
 Rec {
+-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
 f [Occ=LoopBreaker] :: [Int] -> [Int]
 [GblId, Arity=1, Str=<B>b, Cpr=b, Unf=OtherCon []]
 f = \ (x :: [Int]) -> f x
 end Rec }
 
+-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
 g [InlPrag=INLINE (sat-args=1)] :: [Int] -> [Int]
 [GblId,
  Arity=1,
@@ -20,6 +22,7 @@ g [InlPrag=INLINE (sat-args=1)] :: [Int] -> [Int]
          Tmpl= \ (x [Occ=Once1] :: [Int]) -> f x}]
 g = \ (x :: [Int]) -> f x
 
+-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
 h [InlPrag=INLINE (sat-args=1)] :: [Int] -> [Int]
 [GblId,
  Arity=1,
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr
index 81c85edb6b..8b3f8a53b6 100644
--- a/testsuite/tests/deSugar/should_compile/T2431.stderr
+++ b/testsuite/tests/deSugar/should_compile/T2431.stderr
@@ -3,6 +3,7 @@
 Result size of Tidy Core
   = {terms: 63, types: 39, coercions: 1, joins: 0/0}
 
+-- RHS size: {terms: 2, types: 3, coercions: 1, joins: 0/0}
 T2431.$WRefl [InlPrag=INLINE[final] CONLIKE] :: forall a. a :~: a
 [GblId[DataConWrapper],
  Caf=NoCafRefs,
@@ -14,42 +15,52 @@ T2431.$WRefl [InlPrag=INLINE[final] CONLIKE] :: forall a. a :~: a
 T2431.$WRefl
   = \ (@a) -> T2431.Refl @a @a @~(<a>_N :: a GHC.Prim.~# a)
 
+-- RHS size: {terms: 4, types: 7, coercions: 0, joins: 0/0}
 absurd :: forall a. (Int :~: Bool) -> a
 [GblId, Arity=1, Str=<L>b, Cpr=b, Unf=OtherCon []]
 absurd = \ (@a) (x :: Int :~: Bool) -> case x of { }
 
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $trModule1 :: GHC.Prim.Addr#
 [GblId, Unf=OtherCon []]
 $trModule1 = "main"#
 
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
 $trModule2 :: GHC.Types.TrName
 [GblId, Unf=OtherCon []]
 $trModule2 = GHC.Types.TrNameS $trModule1
 
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $trModule3 :: GHC.Prim.Addr#
 [GblId, Unf=OtherCon []]
 $trModule3 = "T2431"#
 
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
 $trModule4 :: GHC.Types.TrName
 [GblId, Unf=OtherCon []]
 $trModule4 = GHC.Types.TrNameS $trModule3
 
+-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
 T2431.$trModule :: GHC.Types.Module
 [GblId, Unf=OtherCon []]
 T2431.$trModule = GHC.Types.Module $trModule2 $trModule4
 
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
 $krep :: GHC.Types.KindRep
 [GblId, Unf=OtherCon []]
 $krep = GHC.Types.KindRepVar 0#
 
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tc:~:1 :: GHC.Prim.Addr#
 [GblId, Unf=OtherCon []]
 $tc:~:1 = ":~:"#
 
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
 $tc:~:2 :: GHC.Types.TrName
 [GblId, Unf=OtherCon []]
 $tc:~:2 = GHC.Types.TrNameS $tc:~:1
 
+-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 T2431.$tc:~: :: GHC.Types.TyCon
 [GblId, Unf=OtherCon []]
 T2431.$tc:~:
@@ -61,28 +72,34 @@ T2431.$tc:~:
       0#
       GHC.Types.krep$*->*->*
 
+-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
 $krep1 :: [GHC.Types.KindRep]
 [GblId, Unf=OtherCon []]
 $krep1
   = GHC.Types.:
       @GHC.Types.KindRep $krep (GHC.Types.[] @GHC.Types.KindRep)
 
+-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
 $krep2 :: [GHC.Types.KindRep]
 [GblId, Unf=OtherCon []]
 $krep2 = GHC.Types.: @GHC.Types.KindRep $krep $krep1
 
+-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
 $krep3 :: GHC.Types.KindRep
 [GblId, Unf=OtherCon []]
 $krep3 = GHC.Types.KindRepTyConApp T2431.$tc:~: $krep2
 
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
 $tc'Refl1 :: GHC.Prim.Addr#
 [GblId, Unf=OtherCon []]
 $tc'Refl1 = "'Refl"#
 
+-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
 $tc'Refl2 :: GHC.Types.TrName
 [GblId, Unf=OtherCon []]
 $tc'Refl2 = GHC.Types.TrNameS $tc'Refl1
 
+-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
 T2431.$tc'Refl :: GHC.Types.TyCon
 [GblId, Unf=OtherCon []]
 T2431.$tc'Refl