diff options
Diffstat (limited to 'testsuite/tests')
5 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr index e7daaeda0b..f3ccc3df17 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr @@ -14,10 +14,10 @@ overloadedlistsfail01.hs:5:8: error: overloadedlistsfail01.hs:5:14: error: • Ambiguous type variable ‘a0’ arising from an overloaded list - prevents the constraint ‘(GHC.Exts.IsList a0)’ from being solved. + prevents the constraint ‘(GHC.IsList.IsList a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. Potentially matching instance: - instance GHC.Exts.IsList [a] -- Defined in ‘GHC.Exts’ + instance GHC.IsList.IsList [a] -- Defined in ‘GHC.IsList’ ...plus four instances involving out-of-scope types (use -fprint-potential-instances to see them all) • In the first argument of ‘print’, namely ‘[1]’ @@ -27,7 +27,7 @@ overloadedlistsfail01.hs:5:14: error: overloadedlistsfail01.hs:5:15: error: • Ambiguous type variable ‘a0’ arising from the literal ‘1’ prevents the constraint ‘(Num - (GHC.Exts.Item a0))’ from being solved. + (GHC.IsList.Item a0))’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. Potentially matching instances: instance Num Integer -- Defined in ‘GHC.Num’ diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr index e0be7ab4e5..b1a7b24ba5 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr @@ -1,12 +1,12 @@ overloadedlistsfail02.hs:6:8: error: - • No instance for (GHC.Exts.IsList Foo) + • No instance for (GHC.IsList.IsList Foo) arising from an overloaded list • In the expression: [7] In an equation for ‘test’: test = [7] overloadedlistsfail02.hs:6:9: error: - • No instance for (Num (GHC.Exts.Item Foo)) + • No instance for (Num (GHC.IsList.Item Foo)) arising from the literal ‘7’ • In the expression: 7 In the expression: [7] diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail03.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail03.stderr index 3ff4cb3678..1380dda229 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail03.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail03.stderr @@ -1,7 +1,7 @@ overloadedlistsfail03.hs:3:28: error: • Couldn't match type ‘[Char]’ with ‘Char’ - Expected: GHC.Exts.Item [Char] + Expected: GHC.IsList.Item [Char] Actual: String • In the expression: "b" In the first argument of ‘length’, namely ‘(['a', "b"] :: [Char])’ diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail05.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail05.stderr index 6f0045a462..1de0a59995 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail05.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail05.stderr @@ -1,7 +1,7 @@ overloadedlistsfail05.hs:3:24: error: • Couldn't match type ‘Char’ with ‘Int’ - Expected: GHC.Exts.Item [Int] + Expected: GHC.IsList.Item [Int] Actual: Char • In the expression: 'a' In the first argument of ‘length’, namely diff --git a/testsuite/tests/showIface/Orphans.stdout b/testsuite/tests/showIface/Orphans.stdout index 08725b6715..fdb94e36e9 100644 --- a/testsuite/tests/showIface/Orphans.stdout +++ b/testsuite/tests/showIface/Orphans.stdout @@ -1,6 +1,6 @@ -instance [orphan] GHC.Exts.IsList [GHC.Types.Bool] = $fIsListBool -instance GHC.Exts.IsList [X] = $fIsListX -family instance GHC.Exts.Item [X] = D:R:ItemX -family instance [orphan] GHC.Exts.Item [GHC.Types.Bool] +instance [orphan] GHC.IsList.IsList [GHC.Types.Bool] = $fIsListBool +instance GHC.IsList.IsList [X] = $fIsListX +family instance GHC.IsList.Item [X] = D:R:ItemX +family instance [orphan] GHC.IsList.Item [GHC.Types.Bool] "myrule1" [orphan] forall @a. "myrule2" GHC.Base.id @(X -> X) f = f |