diff options
Diffstat (limited to 'testsuite/tests/overloadedrecflds')
22 files changed, 58 insertions, 59 deletions
diff --git a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout index ed29a3d212..1ec0c97201 100644 --- a/testsuite/tests/overloadedrecflds/ghci/T19314.stdout +++ b/testsuite/tests/overloadedrecflds/ghci/T19314.stdout @@ -1,13 +1,13 @@ w :: [a] -> a x :: [a] -> a -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-88464] Variable not in scope: y Suggested fix: Notice that ‘y’ is a field selector that has been suppressed by NoFieldSelectors. -<interactive>:1:1: error: +<interactive>:1:1: error: [GHC-88464] Variable not in scope: z Suggested fix: Notice that ‘z’ is a field selector diff --git a/testsuite/tests/overloadedrecflds/ghci/duplicaterecfldsghci01.stdout b/testsuite/tests/overloadedrecflds/ghci/duplicaterecfldsghci01.stdout index c7550d36e2..ae87b8ea19 100644 --- a/testsuite/tests/overloadedrecflds/ghci/duplicaterecfldsghci01.stdout +++ b/testsuite/tests/overloadedrecflds/ghci/duplicaterecfldsghci01.stdout @@ -4,7 +4,7 @@ data T a = MkT {foo :: Bool, ...} -- Defined at <interactive>:4:18 foo :: T a -> Bool -<interactive>:9:6: error: +<interactive>:9:6: error: [GHC-83865] • Couldn't match expected type ‘T a0’ with actual type ‘S’ • In the first argument of ‘foo’, namely ‘(MkS 42)’ In the expression: foo (MkS 42) diff --git a/testsuite/tests/overloadedrecflds/should_fail/DRFHoleFits.stderr b/testsuite/tests/overloadedrecflds/should_fail/DRFHoleFits.stderr index a5b406567f..61779352c3 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/DRFHoleFits.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/DRFHoleFits.stderr @@ -1,7 +1,7 @@ [1 of 2] Compiling DRFHoleFits_A ( DRFHoleFits_A.hs, DRFHoleFits_A.o ) [2 of 2] Compiling DRFHoleFits ( DRFHoleFits.hs, DRFHoleFits.o ) -DRFHoleFits.hs:7:7: error: +DRFHoleFits.hs:7:7: error: [GHC-88464] • Found hole: _ :: T -> Int • In the expression: _ :: T -> Int In an equation for ‘bar’: bar = _ :: T -> Int @@ -11,7 +11,7 @@ DRFHoleFits.hs:7:7: error: foo :: T -> Int (defined at DRFHoleFits.hs:5:16) bar :: T -> Int (defined at DRFHoleFits.hs:7:1) -DRFHoleFits.hs:8:7: error: +DRFHoleFits.hs:8:7: error: [GHC-88464] • Found hole: _ :: A.S -> Int • In the expression: _ :: A.S -> Int In an equation for ‘baz’: baz = _ :: A.S -> Int diff --git a/testsuite/tests/overloadedrecflds/should_fail/DRFPartialFields.stderr b/testsuite/tests/overloadedrecflds/should_fail/DRFPartialFields.stderr index 1f9034e7b2..f1801abd73 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/DRFPartialFields.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/DRFPartialFields.stderr @@ -1,3 +1,3 @@ -DRFPartialFields.hs:4:17: error: [-Wpartial-fields, -Werror=partial-fields] +DRFPartialFields.hs:4:17: error: [-Wpartial-fields, Werror=partial-fields] Use of partial record field selector: ‘foo’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/DuplicateExports.stderr b/testsuite/tests/overloadedrecflds/should_fail/DuplicateExports.stderr index e2bdef49ab..c3d053dfc0 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/DuplicateExports.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/DuplicateExports.stderr @@ -1,3 +1,3 @@ -DuplicateExports.hs:6:29: error: [-Wduplicate-exports (in -Wdefault), -Werror=duplicate-exports] +DuplicateExports.hs:6:29: error: [GHC-47854] [-Wduplicate-exports (in -Wdefault), Werror=duplicate-exports] ‘foo’ is exported by ‘foo’ and ‘T(foo, bar)’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr index 86631573a5..a957818d25 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSExport.stderr @@ -1,5 +1,5 @@ -NFSExport.hs:2:27: error: +NFSExport.hs:2:27: error: [GHC-76037] Not in scope: ‘foo’ Suggested fix: Notice that ‘foo’ is a field selector belonging to the type ‘T’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr index 204aee2b2b..4d6f946e36 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NFSSuppressed.stderr @@ -1,5 +1,5 @@ -NFSSuppressed.hs:9:5: error: +NFSSuppressed.hs:9:5: error: [GHC-88464] Variable not in scope: foo Suggested fixes: • Perhaps use data constructor ‘Foo’ (line 7) diff --git a/testsuite/tests/overloadedrecflds/should_fail/NoParent.stderr b/testsuite/tests/overloadedrecflds/should_fail/NoParent.stderr index 309536cede..b75b8c1df5 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/NoParent.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/NoParent.stderr @@ -1,5 +1,5 @@ -NoParent.hs:2:18: error: +NoParent.hs:2:18: error: [GHC-88993] • The type constructor ‘A’ is not the parent of the record selector ‘x’. Record selectors can only be exported with their parent type constructor. Parents: C, B diff --git a/testsuite/tests/overloadedrecflds/should_fail/T14953.stderr b/testsuite/tests/overloadedrecflds/should_fail/T14953.stderr index e698d005fc..144e306483 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/T14953.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/T14953.stderr @@ -2,7 +2,7 @@ [2 of 3] Compiling T14953_B ( T14953_B.hs, T14953_B.o ) [3 of 3] Compiling T14953 ( T14953.hs, T14953.o ) -T14953.hs:2:33: error: +T14953.hs:2:33: error: [GHC-69158] Conflicting exports for ‘unR’: ‘module T14953_A’ exports ‘unR’ imported from ‘T14953_A’ at T14953.hs:3:1-15 @@ -11,7 +11,7 @@ T14953.hs:2:33: error: imported from ‘T14953_B’ at T14953.hs:4:1-15 (and originally defined at T14953_B.hs:3:13-15) -T14953.hs:2:33: error: +T14953.hs:2:33: error: [GHC-69158] Conflicting exports for ‘R’: ‘module T14953_A’ exports ‘T14953_A.R’ imported from ‘T14953_A’ at T14953.hs:3:1-15 @@ -20,7 +20,7 @@ T14953.hs:2:33: error: imported from ‘T14953_B’ at T14953.hs:4:1-15 (and originally defined at T14953_B.hs:3:10-23) -T14953.hs:2:33: error: +T14953.hs:2:33: error: [GHC-69158] Conflicting exports for ‘R’: ‘module T14953_A’ exports ‘T14953_A.R’ imported from ‘T14953_A’ at T14953.hs:3:1-15 @@ -28,4 +28,3 @@ T14953.hs:2:33: error: ‘module T14953_B’ exports ‘T14953_B.R’ imported from ‘T14953_B’ at T14953.hs:4:1-15 (and originally defined at T14953_B.hs:3:1-23) - diff --git a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr index 157f3960c1..7a96c291b0 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr @@ -1,7 +1,7 @@ [1 of 3] Compiling HasFieldFail01_A ( HasFieldFail01_A.hs, HasFieldFail01_A.o ) [2 of 3] Compiling Main ( hasfieldfail01.hs, hasfieldfail01.o ) -hasfieldfail01.hs:9:15: error: +hasfieldfail01.hs:9:15: error: [GHC-39999] • No instance for ‘HasField "foo" T Int’ arising from a use of ‘getField’ • In the first argument of ‘print’, namely diff --git a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr index b0df5d95ce..dec729f36e 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr @@ -1,11 +1,11 @@ -hasfieldfail02.hs:10:5: error: +hasfieldfail02.hs:10:5: error: [GHC-39999] • No instance for ‘HasField "foo" T a1’ arising from a use of ‘getField’ • In the expression: getField @"foo" (MkT id) In an equation for ‘x’: x = getField @"foo" (MkT id) -hasfieldfail02.hs:14:5: error: +hasfieldfail02.hs:14:5: error: [GHC-39999] • No instance for ‘HasField "bar" U a0’ arising from a use of ‘getField’ • In the expression: getField @"bar" (MkU True) diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr index d194cf1288..a903dcf93f 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr @@ -1,17 +1,17 @@ -overloadedlabelsfail01.hs:6:5: error: +overloadedlabelsfail01.hs:6:5: error: [GHC-39999] • No instance for ‘IsLabel "x" a0’ arising from the overloaded label ‘#x’ • In the expression: #x In an equation for ‘a’: a = #x -overloadedlabelsfail01.hs:10:5: error: +overloadedlabelsfail01.hs:10:5: error: [GHC-39999] • No instance for ‘IsLabel "x" Int’ arising from the overloaded label ‘#x’ • In the expression: #x In an equation for ‘b’: b = #x -overloadedlabelsfail01.hs:14:5: error: +overloadedlabelsfail01.hs:14:5: error: [GHC-39999] • Could not deduce ‘IsLabel "y" t’ arising from the overloaded label ‘#y’ from the context: IsLabel "x" t diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail02.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail02.stderr index f47240fa9a..cabdd66fed 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail02.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail02.stderr @@ -1,2 +1,3 @@ -overloadedlabelsfail02.hs:3:8: error: Not in scope: ‘fromLabel’ +overloadedlabelsfail02.hs:3:8: error: [GHC-76037] + Not in scope: ‘fromLabel’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail03.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail03.stderr index 69aa43af40..84e5b0a780 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail03.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail03.stderr @@ -1,5 +1,5 @@ -overloadedlabelsfail03.hs:3:8: error: +overloadedlabelsfail03.hs:3:8: error: [GHC-95781] • Cannot apply expression of type ‘()’ to a visible type argument ‘"foo"’ • In the expression: #foo diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr index a7eb1debd1..66089a586e 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr @@ -1,23 +1,22 @@ -overloadedrecfldsfail01.hs:11:10: error: - Record update is ambiguous, and requires a type signature - In the expression: r {x = 3} - In an equation for ‘upd1’: upd1 r = r {x = 3} +overloadedrecfldsfail01.hs:11:10: error: [GHC-99339] + • Record update is ambiguous, and requires a type signature + • In the expression: r {x = 3} + In an equation for ‘upd1’: upd1 r = r {x = 3} -overloadedrecfldsfail01.hs:14:10: error: - No type has all these fields: ‘x’, ‘y’, ‘z’ - In the expression: r {x = 3, y = True, z = False} - In an equation for ‘upd2’: upd2 r = r {x = 3, y = True, z = False} +overloadedrecfldsfail01.hs:14:10: error: [GHC-33238] + • No type has all these fields: ‘x’, ‘y’, ‘z’ + • In the expression: r {x = 3, y = True, z = False} + In an equation for ‘upd2’: upd2 r = r {x = 3, y = True, z = False} -overloadedrecfldsfail01.hs:17:10: error: - ‘x’ is not a (visible) field of type ‘U’ - In the expression: r {w = True, x = 3, y = True} :: U - In an equation for ‘upd3’: - upd3 r = r {w = True, x = 3, y = True} :: U - -overloadedrecfldsfail01.hs:17:10: error: - ‘w’ is not a (visible) field of type ‘U’ - In the expression: r {w = True, x = 3, y = True} :: U - In an equation for ‘upd3’: - upd3 r = r {w = True, x = 3, y = True} :: U +overloadedrecfldsfail01.hs:17:10: error: [GHC-54721] + • ‘x’ is not a (visible) field of type ‘U’ + • In the expression: r {w = True, x = 3, y = True} :: U + In an equation for ‘upd3’: + upd3 r = r {w = True, x = 3, y = True} :: U +overloadedrecfldsfail01.hs:17:10: error: [GHC-54721] + • ‘w’ is not a (visible) field of type ‘U’ + • In the expression: r {w = True, x = 3, y = True} :: U + In an equation for ‘upd3’: + upd3 r = r {w = True, x = 3, y = True} :: U diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail05.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail05.stderr index 9dc7af2782..3e2e0572f1 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail05.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail05.stderr @@ -1,3 +1,3 @@ -overloadedrecfldsfail05.hs:7:16: error: [-Wunused-top-binds (in -Wextra, -Wunused-binds), -Werror=unused-top-binds] +overloadedrecfldsfail05.hs:7:16: error: [-Wunused-top-binds (in -Wextra, -Wunused-binds), Werror=unused-top-binds] Defined but not used: ‘foo’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail06.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail06.stderr index 10e3b1ece8..7567a038b4 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail06.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail06.stderr @@ -10,27 +10,27 @@ OverloadedRecFldsFail06_A.hs:9:59: warning: [-Wunused-top-binds (in -Wextra, -Wu Defined but not used: ‘used_locally’ [2 of 3] Compiling Main ( overloadedrecfldsfail06.hs, overloadedrecfldsfail06.o ) -overloadedrecfldsfail06.hs:7:1: error: [-Wunused-imports (in -Wextra), -Werror=unused-imports] +overloadedrecfldsfail06.hs:7:1: error: [-Wunused-imports (in -Wextra), Werror=unused-imports] The import of ‘Unused(unused), V(x), U(y), MkV, Unused’ from module ‘OverloadedRecFldsFail06_A’ is redundant -overloadedrecfldsfail06.hs:8:1: error: [-Wunused-imports (in -Wextra), -Werror=unused-imports] +overloadedrecfldsfail06.hs:8:1: error: [-Wunused-imports (in -Wextra), Werror=unused-imports] The qualified import of ‘OverloadedRecFldsFail06_A’ is redundant except perhaps to import instances from ‘OverloadedRecFldsFail06_A’ To import instances alone, use: import OverloadedRecFldsFail06_A() -overloadedrecfldsfail06.hs:9:1: error: [-Wunused-imports (in -Wextra), -Werror=unused-imports] +overloadedrecfldsfail06.hs:9:1: error: [-Wunused-imports (in -Wextra), Werror=unused-imports] The qualified import of ‘V(y)’ from module ‘OverloadedRecFldsFail06_A’ is redundant -overloadedrecfldsfail06.hs:10:1: error: [-Wunused-imports (in -Wextra), -Werror=unused-imports] +overloadedrecfldsfail06.hs:10:1: error: [-Wunused-imports (in -Wextra), Werror=unused-imports] The qualified import of ‘U(x), U’ from module ‘OverloadedRecFldsFail06_A’ is redundant -overloadedrecfldsfail06.hs:15:22: error: [-Wambiguous-fields (in -Wdefault), -Werror=ambiguous-fields] +overloadedrecfldsfail06.hs:15:22: error: [GHC-02256] [-Wambiguous-fields (in -Wdefault), Werror=ambiguous-fields] The record update u {x = True} with type U is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC. -overloadedrecfldsfail06.hs:18:28: error: [-Wambiguous-fields (in -Wdefault), -Werror=ambiguous-fields] +overloadedrecfldsfail06.hs:18:28: error: [GHC-02256] [-Wambiguous-fields (in -Wdefault), Werror=ambiguous-fields] The record update v {P.x = 3} with type V is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC. diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail07.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail07.stderr index 73a1b9b4d8..e6e3c180ac 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail07.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail07.stderr @@ -1,5 +1,5 @@ -overloadedrecfldsfail07.hs:7:7: error: +overloadedrecfldsfail07.hs:7:7: error: [GHC-83865] • Couldn't match expected type ‘T’ with actual type ‘T -> Int’ • Probable cause: ‘x’ is applied to too few arguments In the first argument of ‘x’, namely ‘x’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail08.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail08.stderr index cf37520a64..d364f079d8 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail08.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail08.stderr @@ -1,5 +1,5 @@ -overloadedrecfldsfail08.hs:9:9: error: - No constructor has all these fields: ‘x’, ‘y’ - In the expression: e {x = 3, y = True} - In an equation for ‘foo’: foo e = e {x = 3, y = True} +overloadedrecfldsfail08.hs:9:9: error: [GHC-14392] + • No constructor has all these fields: ‘x’, ‘y’ + • In the expression: e {x = 3, y = True} + In an equation for ‘foo’: foo e = e {x = 3, y = True} diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr index 415099d79b..a77564ccea 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail09.stderr @@ -1,4 +1,4 @@ -overloadedrecfldsfail09.hs:9:11: error: +overloadedrecfldsfail09.hs:9:11: error: [GHC-65904] Ambiguous record updates not (yet) handled by Template Haskell x = 3 diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail10.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail10.stderr index cf483418ce..8b113e19ee 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail10.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail10.stderr @@ -3,7 +3,7 @@ [3 of 5] Compiling OverloadedRecFldsFail10_C ( OverloadedRecFldsFail10_C.hs, OverloadedRecFldsFail10_C.o ) [4 of 5] Compiling Main ( overloadedrecfldsfail10.hs, overloadedrecfldsfail10.o ) -overloadedrecfldsfail10.hs:6:20: error: +overloadedrecfldsfail10.hs:6:20: error: [GHC-69158] Conflicting exports for ‘foo’: ‘F(..)’ exports ‘OverloadedRecFldsFail10_B.foo’ imported from ‘OverloadedRecFldsFail10_B’ at overloadedrecfldsfail10.hs:8:1-32 diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail14.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail14.stderr index 7a211fd366..7b0d276a96 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail14.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail14.stderr @@ -1,5 +1,5 @@ -overloadedrecfldsfail14.hs:12:7: error: - No type has all these fields: ‘x’, ‘y’ - In the expression: r {x = 3, y = False} - In an equation for ‘f’: f r = r {x = 3, y = False} +overloadedrecfldsfail14.hs:12:7: error: [GHC-33238] + • No type has all these fields: ‘x’, ‘y’ + • In the expression: r {x = 3, y = False} + In an equation for ‘f’: f r = r {x = 3, y = False} |