diff options
Diffstat (limited to 'testsuite/tests/th/T8761.stderr')
-rw-r--r-- | testsuite/tests/th/T8761.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/th/T8761.stderr b/testsuite/tests/th/T8761.stderr index 0817e4b7a6..9c2bd1604f 100644 --- a/testsuite/tests/th/T8761.stderr +++ b/testsuite/tests/th/T8761.stderr @@ -124,8 +124,8 @@ T8761.hs:(71,1)-(105,39): Splicing declarations pattern T8761.P :: GHC.Types.Bool pattern T8761.Pe :: () => forall (a_0 :: *) . a_0 -> T8761.Ex pattern T8761.Pu :: forall (a_0 :: *) . a_0 -> a_0 -pattern T8761.Pue :: forall (a_0 :: *) . () => forall (b_1 :: *) . - a_0 -> b_1 -> (a_0, T8761.Ex) +pattern T8761.Pue :: forall (a_0 :: *). () => forall (b_1 :: *) . + a_0 -> b_1 -> (a_0, T8761.Ex) pattern T8761.Pur :: forall (a_0 :: *) . (GHC.Num.Num a_0, GHC.Classes.Eq a_0) => a_0 -> [a_0] @@ -141,10 +141,10 @@ pattern T8761.Purep :: forall (a_0 :: *) . (GHC.Num.Num a_0, a_0 -> b_1 -> ([a_0], T8761.ExProv) pattern T8761.Pep :: () => forall (a_0 :: *) . GHC.Show.Show a_0 => a_0 -> T8761.ExProv -pattern T8761.Pup :: forall (a_0 :: *) . () => GHC.Show.Show a_0 => - a_0 -> T8761.UnivProv a_0 -pattern T8761.Puep :: forall (a_0 :: *) . () => forall (b_1 :: *) . GHC.Show.Show b_1 => - a_0 -> b_1 -> (T8761.ExProv, a_0) +pattern T8761.Pup :: forall (a_0 :: *). () => GHC.Show.Show a_0 => + a_0 -> T8761.UnivProv a_0 +pattern T8761.Puep :: forall (a_0 :: *). () => forall (b_1 :: *) . GHC.Show.Show b_1 => + a_0 -> b_1 -> (T8761.ExProv, a_0) T8761.hs:(108,1)-(117,25): Splicing declarations do infos <- mapM reify |