diff options
Diffstat (limited to 'testsuite/tests')
25 files changed, 53 insertions, 53 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp16.stderr b/testsuite/tests/backpack/should_compile/bkp16.stderr index 06d2865c24..be66498482 100644 --- a/testsuite/tests/backpack/should_compile/bkp16.stderr +++ b/testsuite/tests/backpack/should_compile/bkp16.stderr @@ -4,6 +4,6 @@ Instantiating q [1 of 1] Including p[Int=base-4.17.0.0:GHC.Exts] Instantiating p[Int=base-4.17.0.0:GHC.Exts] - [1 of 1] Including ghc-prim-0.9.0 + [1 of 1] Including ghc-prim-0.10.0 [1 of 1] Compiling Int[sig] ( p/Int.hsig, bkp16.out/p/p-97PZnzqiJmd2hTwUNGdjod/Int.o ) [1 of 1] Instantiating p diff --git a/testsuite/tests/ghci/scripts/T4127.stdout b/testsuite/tests/ghci/scripts/T4127.stdout index 509bb88835..3d2fad2539 100644 --- a/testsuite/tests/ghci/scripts/T4127.stdout +++ b/testsuite/tests/ghci/scripts/T4127.stdout @@ -1 +1 @@ -[InstanceD Nothing [] (AppT (ConT GHC.Base.Monad) (AppT (ConT GHC.Tuple.(,)) (VarT a_0))) [ValD (VarP GHC.Base.>>=) (NormalB (VarE GHC.Err.undefined)) []]]
\ No newline at end of file +[InstanceD Nothing [] (AppT (ConT GHC.Base.Monad) (AppT (ConT GHC.Tuple.Prim.(,)) (VarT a_0))) [ValD (VarP GHC.Base.>>=) (NormalB (VarE GHC.Err.undefined)) []]] diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index 91a1fbb881..0d4047425e 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -24,7 +24,7 @@ type family E a where -- Defined at T4175.hs:25:1 type () :: * data () = () - -- Defined in ‘GHC.Tuple’ + -- Defined in ‘GHC.Tuple.Prim’ instance [safe] C () -- Defined at T4175.hs:22:10 instance Monoid () -- Defined in ‘GHC.Base’ instance Semigroup () -- Defined in ‘GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout index 1a390d152f..d819079041 100644 --- a/testsuite/tests/ghci/scripts/T7627.stdout +++ b/testsuite/tests/ghci/scripts/T7627.stdout @@ -1,6 +1,6 @@ type () :: * data () = () - -- Defined in ‘GHC.Tuple’ + -- Defined in ‘GHC.Tuple.Prim’ instance Monoid () -- Defined in ‘GHC.Base’ instance Semigroup () -- Defined in ‘GHC.Base’ instance Bounded () -- Defined in ‘GHC.Enum’ @@ -18,7 +18,7 @@ data (##) = (##) (# #) :: (# #) type (,) :: * -> * -> * data (,) a b = (,) a b - -- Defined in ‘GHC.Tuple’ + -- Defined in ‘GHC.Tuple.Prim’ instance Traversable ((,) a) -- Defined in ‘Data.Traversable’ instance (Monoid a, Monoid b) => Monoid (a, b) -- Defined in ‘GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/ghci011.stdout b/testsuite/tests/ghci/scripts/ghci011.stdout index edb6158456..32190117fd 100644 --- a/testsuite/tests/ghci/scripts/ghci011.stdout +++ b/testsuite/tests/ghci/scripts/ghci011.stdout @@ -15,7 +15,7 @@ instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ type () :: * data () = () - -- Defined in ‘GHC.Tuple’ + -- Defined in ‘GHC.Tuple.Prim’ instance Monoid () -- Defined in ‘GHC.Base’ instance Semigroup () -- Defined in ‘GHC.Base’ instance Read () -- Defined in ‘GHC.Read’ @@ -26,7 +26,7 @@ instance Show () -- Defined in ‘GHC.Show’ instance Eq () -- Defined in ‘GHC.Classes’ type (,) :: * -> * -> * data (,) a b = (,) a b - -- Defined in ‘GHC.Tuple’ + -- Defined in ‘GHC.Tuple.Prim’ instance Traversable ((,) a) -- Defined in ‘Data.Traversable’ instance (Monoid a, Monoid b) => Monoid (a, b) -- Defined in ‘GHC.Base’ diff --git a/testsuite/tests/ghci/should_run/T21052.stdout b/testsuite/tests/ghci/should_run/T21052.stdout index 7de5eaf6ca..3822a96b6e 100644 --- a/testsuite/tests/ghci/should_run/T21052.stdout +++ b/testsuite/tests/ghci/should_run/T21052.stdout @@ -6,7 +6,7 @@ BCO_toplevel :: GHC.Types.IO [()] let { sat :: [()] [LclId] = - :! [GHC.Tuple.() GHC.Types.[]]; + :! [GHC.Tuple.Prim.() GHC.Types.[]]; } in GHC.Base.returnIO sat; diff --git a/testsuite/tests/module/T20562.hs b/testsuite/tests/module/T20562.hs index 352be5e9e2..e046947f33 100644 --- a/testsuite/tests/module/T20562.hs +++ b/testsuite/tests/module/T20562.hs @@ -1,7 +1,7 @@ {-# LANGUAGE PatternSynonyms #-} module Main (main) where -import GHC.Tuple +import GHC.Tuple (Solo (MkSolo), getSolo) type OneTuple = Solo @@ -9,7 +9,7 @@ only :: OneTuple a -> a only = getSolo pattern OneTuple :: a -> Solo a -pattern OneTuple a = Solo a +pattern OneTuple a = MkSolo a main :: IO () main = print (only (OneTuple 'x')) diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index b06d0df7f8..469188e621 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -49,7 +49,7 @@ $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep $krep [InlPrag=[~]] = GHC.Types.KindRepFun GHC.Types.krep$* $krep $krep [InlPrag=[~]] = GHC.Types.KindRepTyConApp - GHC.Tuple.$tc(,) + GHC.Tuple.Prim.$tc(,) ((:) @GHC.Types.KindRep $krep ((:) @GHC.Types.KindRep $krep [] @GHC.Types.KindRep)) $krep [InlPrag=[~]] diff --git a/testsuite/tests/simplCore/should_compile/T3772.stdout b/testsuite/tests/simplCore/should_compile/T3772.stdout index dde2503f31..4a67fd8413 100644 --- a/testsuite/tests/simplCore/should_compile/T3772.stdout +++ b/testsuite/tests/simplCore/should_compile/T3772.stdout @@ -72,12 +72,12 @@ foo [InlPrag=[final]] :: Int -> () Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) Tmpl= \ (n [Occ=Once1!] :: Int) -> case n of { GHC.Types.I# ww [Occ=Once1] -> - case T3772.$wfoo ww of { (# #) -> GHC.Tuple.() } + case T3772.$wfoo ww of { (# #) -> GHC.Tuple.Prim.() } }}] foo = \ (n :: Int) -> case n of { GHC.Types.I# ww -> - case T3772.$wfoo ww of { (# #) -> GHC.Tuple.() } + case T3772.$wfoo ww of { (# #) -> GHC.Tuple.Prim.() } } diff --git a/testsuite/tests/simplCore/should_compile/T7360.stderr b/testsuite/tests/simplCore/should_compile/T7360.stderr index 30efb85c29..345efa5a18 100644 --- a/testsuite/tests/simplCore/should_compile/T7360.stderr +++ b/testsuite/tests/simplCore/should_compile/T7360.stderr @@ -36,9 +36,9 @@ fun1 [InlPrag=[final]] :: Foo -> () WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) Tmpl= \ (x [Occ=Once1] :: Foo) -> - case T7360.$wfun1 x of { (# #) -> GHC.Tuple.() }}] + case T7360.$wfun1 x of { (# #) -> GHC.Tuple.Prim.() }}] fun1 - = \ (x :: Foo) -> case T7360.$wfun1 x of { (# #) -> GHC.Tuple.() } + = \ (x :: Foo) -> case T7360.$wfun1 x of { (# #) -> GHC.Tuple.Prim.() } -- RHS size: {terms: 5, types: 1, coercions: 0, joins: 0/0} T7360.fun4 :: () @@ -46,7 +46,7 @@ T7360.fun4 :: () Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 10}] T7360.fun4 - = case T7360.$wfun1 T7360.Foo1 of { (# #) -> GHC.Tuple.() } + = case T7360.$wfun1 T7360.Foo1 of { (# #) -> GHC.Tuple.Prim.() } -- RHS size: {terms: 11, types: 7, coercions: 0, joins: 0/0} fun2 :: forall {a}. [a] -> ((), Int) diff --git a/testsuite/tests/th/T10734.stdout b/testsuite/tests/th/T10734.stdout index 4a8b39a43e..ae5bccbfb7 100644 --- a/testsuite/tests/th/T10734.stdout +++ b/testsuite/tests/th/T10734.stdout @@ -1,3 +1,3 @@ -do {let {}; GHC.Base.return GHC.Tuple.()} +do {let {}; GHC.Base.return GHC.Tuple.Prim.()} do {let {x_0 = 5}; GHC.Base.return x_0} do {let {x_0 = 5; y_1 = 3}; GHC.Base.return x_0} diff --git a/testsuite/tests/th/T12478_4.stderr b/testsuite/tests/th/T12478_4.stderr index 2cc0d1142d..f061f5706a 100644 --- a/testsuite/tests/th/T12478_4.stderr +++ b/testsuite/tests/th/T12478_4.stderr @@ -2,5 +2,5 @@ T12478_4.hs:7:7: error: • Illegal sum arity: 1 Sums must have an arity of at least 2 - When splicing a TH type: (# #) GHC.Tuple.() + When splicing a TH type: (# #) GHC.Tuple.Prim.() • In the untyped splice: $(unboxedSumT 1 `appT` conT ''()) diff --git a/testsuite/tests/th/T15843.stdout b/testsuite/tests/th/T15843.stdout index b7fede7e46..bd56e72b5f 100644 --- a/testsuite/tests/th/T15843.stdout +++ b/testsuite/tests/th/T15843.stdout @@ -2,8 +2,8 @@ TupE [Just (LitE (IntegerL 909)),Nothing] (909,) TupE [Nothing,Just (LitE (IntegerL 909))] (, 909) -ConE GHC.Tuple.(,) -GHC.Tuple.(,) +ConE GHC.Tuple.Prim.(,) +GHC.Tuple.Prim.(,) TupE [Just (LitE (IntegerL 909)),Just (LitE (IntegerL 606))] (909, 606) TupE [Nothing,Nothing,Just (LitE (IntegerL 909))] @@ -12,8 +12,8 @@ TupE [Just (LitE (IntegerL 909)),Nothing] (909,) TupE [Nothing,Just (LitE (IntegerL 909))] (, 909) -ConE GHC.Tuple.(,) -GHC.Tuple.(,) +ConE GHC.Tuple.Prim.(,) +GHC.Tuple.Prim.(,) TupE [Just (LitE (IntegerL 909)),Just (LitE (IntegerL 606))] (909, 606) TupE [Nothing,Nothing,Just (LitE (IntegerL 909))] diff --git a/testsuite/tests/th/T17380.stderr b/testsuite/tests/th/T17380.stderr index b9e1430ff7..d1f4684062 100644 --- a/testsuite/tests/th/T17380.stderr +++ b/testsuite/tests/th/T17380.stderr @@ -8,8 +8,8 @@ T17380.hs:9:7: error: [GHC-83865] T17380.hs:12:8: error: [GHC-83865] • Couldn't match expected type: Maybe String with actual type: Solo (Maybe String) - • In the expression: Solo Just "wat" - In an equation for ‘bar’: bar = (Solo Just "wat") + • In the expression: MkSolo Just "wat" + In an equation for ‘bar’: bar = (MkSolo Just "wat") T17380.hs:15:6: error: [GHC-83865] • Couldn't match expected type: Solo (Maybe String) @@ -20,8 +20,8 @@ T17380.hs:15:6: error: [GHC-83865] T17380.hs:18:7: error: [GHC-83865] • Couldn't match expected type: Maybe String with actual type: Solo (Maybe String) - • In the pattern: Solo(Just "wat") - In an equation for ‘quux’: quux (Solo(Just "wat")) = Just "frerf" + • In the pattern: MkSolo(Just "wat") + In an equation for ‘quux’: quux (MkSolo(Just "wat")) = Just "frerf" T17380.hs:21:8: error: [GHC-83865] • Couldn't match type: Maybe String diff --git a/testsuite/tests/th/T18097.hs b/testsuite/tests/th/T18097.hs index 2f905d9627..ebdc7f80c0 100644 --- a/testsuite/tests/th/T18097.hs +++ b/testsuite/tests/th/T18097.hs @@ -4,11 +4,11 @@ module T18097 where import Language.Haskell.TH import GHC.Tuple -f = case $( tupE [ [| "ok" |] ] ) of Solo x -> putStrLn x -g = case Solo "ok" of $( tupP [ [p| x |] ] ) -> putStrLn x +f = case $( tupE [ [| "ok" |] ] ) of MkSolo x -> putStrLn x +g = case MkSolo "ok" of $( tupP [ [p| x |] ] ) -> putStrLn x h :: $( tupleT 1 ) String -h = Solo "ok" +h = MkSolo "ok" i :: Solo String i = $( tupE [ [| "ok" |] ] ) diff --git a/testsuite/tests/th/T18612.stderr b/testsuite/tests/th/T18612.stderr index 25286ef671..0865ddc17b 100644 --- a/testsuite/tests/th/T18612.stderr +++ b/testsuite/tests/th/T18612.stderr @@ -8,6 +8,6 @@ T18612.hs:(10,7)-(11,75): Splicing type ======> Identity (Solo ()) -> Identity (Solo ()) T18612.hs:12:4-36: Splicing pattern - conP 'Identity [tupP [tupP []]] ======> Identity (Solo()) + conP 'Identity [tupP [tupP []]] ======> Identity (MkSolo()) T18612.hs:12:41-78: Splicing expression - conE 'Identity `appE` tupE [tupE []] ======> Identity (Solo ()) + conE 'Identity `appE` tupE [tupE []] ======> Identity (MkSolo ()) diff --git a/testsuite/tests/th/T20711.stdout b/testsuite/tests/th/T20711.stdout index f14e7b3479..922cf37e8f 100644 --- a/testsuite/tests/th/T20711.stdout +++ b/testsuite/tests/th/T20711.stdout @@ -1,2 +1,2 @@ -f_0 (-1) = GHC.Tuple.() -f_0 (-10) = GHC.Tuple.() +f_0 (-1) = GHC.Tuple.Prim.() +f_0 (-10) = GHC.Tuple.Prim.() diff --git a/testsuite/tests/th/T8761.stderr b/testsuite/tests/th/T8761.stderr index 03f5086423..0817e4b7a6 100644 --- a/testsuite/tests/th/T8761.stderr +++ b/testsuite/tests/th/T8761.stderr @@ -1,5 +1,5 @@ pattern Q1 x1_0 x2_1 x3_2 <- ((x1_0, x2_1), [x3_2], _, _) -pattern x1_0 `Q2` x2_1 = GHC.Tuple.Solo (x1_0, x2_1) +pattern x1_0 `Q2` x2_1 = GHC.Tuple.Prim.MkSolo (x1_0, x2_1) pattern Q3 {qx3, qy3, qz3} <- ((qx3, qy3), [qz3]) where Q3 qx3 qy3 qz3 = ((qx3, qy3), [qz3]) T8761.hs:(16,1)-(39,13): Splicing declarations @@ -28,7 +28,7 @@ T8761.hs:(16,1)-(39,13): Splicing declarations return pats ======> pattern Q1 x1 x2 x3 <- ((x1, x2), [x3], _, _) - pattern x1 `Q2` x2 = Solo(x1, x2) + pattern x1 `Q2` x2 = MkSolo(x1, x2) pattern Q3{qx3, qy3, qz3} <- ((qx3, qy3), [qz3]) where Q3 qx3 qy3 qz3 = ((qx3, qy3), [qz3]) T8761.hs:(42,1)-(46,29): Splicing declarations diff --git a/testsuite/tests/th/TH_tuple1.stdout b/testsuite/tests/th/TH_tuple1.stdout index c79b30cd21..b76f7e1fbf 100644 --- a/testsuite/tests/th/TH_tuple1.stdout +++ b/testsuite/tests/th/TH_tuple1.stdout @@ -1,10 +1,10 @@ -SigE (AppE (AppE (ConE GHC.Tuple.(,)) (LitE (IntegerL 1))) (LitE (IntegerL 2))) (AppT (AppT (ConT GHC.Tuple.(,)) (ConT GHC.Num.Integer.Integer)) (ConT GHC.Num.Integer.Integer)) -GHC.Tuple.(,) 1 2 :: GHC.Tuple.(,) GHC.Num.Integer.Integer - GHC.Num.Integer.Integer -SigE (AppE (ConE GHC.Tuple.Solo) (LitE (IntegerL 1))) (AppT (ConT GHC.Tuple.Solo) (ConT GHC.Num.Integer.Integer)) -GHC.Tuple.Solo 1 :: GHC.Tuple.Solo GHC.Num.Integer.Integer -SigE (AppE (AppE (ConE GHC.Tuple.(#,#)) (LitE (IntegerL 1))) (LitE (IntegerL 2))) (AppT (AppT (ConT GHC.Tuple.(#,#)) (ConT GHC.Num.Integer.Integer)) (ConT GHC.Num.Integer.Integer)) -GHC.Tuple.(#,#) 1 2 :: GHC.Tuple.(#,#) GHC.Num.Integer.Integer - GHC.Num.Integer.Integer -SigE (AppE (ConE GHC.Tuple.Solo#) (LitE (IntegerL 1))) (AppT (ConT GHC.Tuple.Solo#) (ConT GHC.Num.Integer.Integer)) -GHC.Tuple.Solo# 1 :: GHC.Tuple.Solo# GHC.Num.Integer.Integer +SigE (AppE (AppE (ConE GHC.Tuple.Prim.(,)) (LitE (IntegerL 1))) (LitE (IntegerL 2))) (AppT (AppT (ConT GHC.Tuple.Prim.(,)) (ConT GHC.Num.Integer.Integer)) (ConT GHC.Num.Integer.Integer)) +GHC.Tuple.Prim.(,) 1 2 :: GHC.Tuple.Prim.(,) GHC.Num.Integer.Integer + GHC.Num.Integer.Integer +SigE (AppE (ConE GHC.Tuple.Prim.MkSolo) (LitE (IntegerL 1))) (AppT (ConT GHC.Tuple.Prim.Solo) (ConT GHC.Num.Integer.Integer)) +GHC.Tuple.Prim.MkSolo 1 :: GHC.Tuple.Prim.Solo GHC.Num.Integer.Integer +SigE (AppE (AppE (ConE GHC.Tuple.Prim.(#,#)) (LitE (IntegerL 1))) (LitE (IntegerL 2))) (AppT (AppT (ConT GHC.Tuple.Prim.(#,#)) (ConT GHC.Num.Integer.Integer)) (ConT GHC.Num.Integer.Integer)) +GHC.Tuple.Prim.(#,#) 1 2 :: GHC.Tuple.Prim.(#,#) GHC.Num.Integer.Integer + GHC.Num.Integer.Integer +SigE (AppE (ConE GHC.Tuple.Prim.Solo#) (LitE (IntegerL 1))) (AppT (ConT GHC.Tuple.Prim.Solo#) (ConT GHC.Num.Integer.Integer)) +GHC.Tuple.Prim.Solo# 1 :: GHC.Tuple.Prim.Solo# GHC.Num.Integer.Integer diff --git a/testsuite/tests/th/overloaded/TH_overloaded_csp.stdout b/testsuite/tests/th/overloaded/TH_overloaded_csp.stdout index 5a64654110..95bb18b003 100644 --- a/testsuite/tests/th/overloaded/TH_overloaded_csp.stdout +++ b/testsuite/tests/th/overloaded/TH_overloaded_csp.stdout @@ -1,2 +1,2 @@ -ConE GHC.Tuple.() -ConE GHC.Tuple.() +ConE GHC.Tuple.Prim.() +ConE GHC.Tuple.Prim.() diff --git a/testsuite/tests/th/overloaded/TH_overloaded_extract.stdout b/testsuite/tests/th/overloaded/TH_overloaded_extract.stdout index d245bb9cee..095d71c638 100644 --- a/testsuite/tests/th/overloaded/TH_overloaded_extract.stdout +++ b/testsuite/tests/th/overloaded/TH_overloaded_extract.stdout @@ -1,6 +1,6 @@ InfixE (Just (LitE (IntegerL 1))) (VarE GHC.Num.+) (Just (LitE (IntegerL 2))) LamE [VarP x] (InfixE (Just (LitE (IntegerL 1))) (VarE GHC.Num.+) (Just (LitE (IntegerL 2)))) [DataD [] Foo [] Nothing [NormalC Foo []] []] -ConP GHC.Tuple.() [] [] +ConP GHC.Tuple.Prim.() [] [] AppT ListT (ConT GHC.Types.Int) InfixE Nothing (VarE GHC.Num.+) (Just (LitE (IntegerL 1))) diff --git a/testsuite/tests/typecheck/should_compile/T18529.stderr b/testsuite/tests/typecheck/should_compile/T18529.stderr index 48f66e43c9..71bb9d715b 100644 --- a/testsuite/tests/typecheck/should_compile/T18529.stderr +++ b/testsuite/tests/typecheck/should_compile/T18529.stderr @@ -28,7 +28,7 @@ $krep [InlPrag=[~]] = GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [] @GHC.Types.KindRep $krep [InlPrag=[~]] - = GHC.Types.KindRepTyConApp GHC.Tuple.$tc() [] @GHC.Types.KindRep + = GHC.Types.KindRepTyConApp GHC.Tuple.Prim.$tc() [] @GHC.Types.KindRep $krep [InlPrag=[~]] = GHC.Types.KindRepTyConApp Bug.$tcC diff --git a/testsuite/tests/typecheck/should_compile/holes.stderr b/testsuite/tests/typecheck/should_compile/holes.stderr index 8416f0a4fc..5dfb035931 100644 --- a/testsuite/tests/typecheck/should_compile/holes.stderr +++ b/testsuite/tests/typecheck/should_compile/holes.stderr @@ -88,7 +88,7 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] Nothing :: forall a. Maybe a Just :: forall a. a -> Maybe a [] :: forall a. [a] - Solo :: forall a. a -> Solo a + MkSolo :: forall a. a -> Solo a asTypeOf :: forall a. a -> a -> a id :: forall a. a -> a until :: forall a. (a -> Bool) -> (a -> a) -> a -> a diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr index 8032042b90..72b16b9e5d 100644 --- a/testsuite/tests/typecheck/should_compile/holes3.stderr +++ b/testsuite/tests/typecheck/should_compile/holes3.stderr @@ -91,7 +91,7 @@ holes3.hs:11:15: error: [GHC-88464] Nothing :: forall a. Maybe a Just :: forall a. a -> Maybe a [] :: forall a. [a] - Solo :: forall a. a -> Solo a + MkSolo :: forall a. a -> Solo a asTypeOf :: forall a. a -> a -> a id :: forall a. a -> a until :: forall a. (a -> Bool) -> (a -> a) -> a -> a diff --git a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr index d8344711fe..4ef63821ca 100644 --- a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr @@ -148,8 +148,8 @@ valid_hole_fits.hs:34:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] with Just @Bool (imported from ‘Data.Maybe’ at valid_hole_fits.hs:5:1-17 (and originally defined in ‘GHC.Maybe’)) - Solo :: forall a. a -> Solo a - with Solo @Bool + MkSolo :: forall a. a -> Solo a + with MkSolo @Bool (bound at <wired into compiler>) id :: forall a. a -> a with id @Bool |