diff options
Diffstat (limited to 'testsuite/tests/saks/should_fail')
34 files changed, 42 insertions, 35 deletions
diff --git a/testsuite/tests/saks/should_fail/T16725.stderr b/testsuite/tests/saks/should_fail/T16725.stderr index 4fed187f73..c675e942d8 100644 --- a/testsuite/tests/saks/should_fail/T16725.stderr +++ b/testsuite/tests/saks/should_fail/T16725.stderr @@ -1,3 +1,3 @@ -T16725.hs:8:6: error: +T16725.hs:8:6: error: [GHC-44432] The standalone kind signature for ‘W’ lacks an accompanying binding diff --git a/testsuite/tests/saks/should_fail/T16727a.stderr b/testsuite/tests/saks/should_fail/T16727a.stderr index 9d0f3e11d7..57b706d5d6 100644 --- a/testsuite/tests/saks/should_fail/T16727a.stderr +++ b/testsuite/tests/saks/should_fail/T16727a.stderr @@ -1,5 +1,5 @@ -T16727a.hs:8:12: error: +T16727a.hs:8:12: error: [GHC-88634] • Type constructor ‘T1’ cannot be used here (it is defined and used in the same recursive group) • In a standalone kind signature for ‘T2’: T1 diff --git a/testsuite/tests/saks/should_fail/T16727b.stderr b/testsuite/tests/saks/should_fail/T16727b.stderr index 0a50ffe2e4..7d05dc67cf 100644 --- a/testsuite/tests/saks/should_fail/T16727b.stderr +++ b/testsuite/tests/saks/should_fail/T16727b.stderr @@ -1,5 +1,5 @@ -T16727b.hs:5:11: error: +T16727b.hs:5:11: error: [GHC-88634] • Type constructor ‘T’ cannot be used here (it is defined and used in the same recursive group) • In a standalone kind signature for ‘T’: T diff --git a/testsuite/tests/saks/should_fail/T16756b.stderr b/testsuite/tests/saks/should_fail/T16756b.stderr index d8324628d2..848e3e2bbe 100644 --- a/testsuite/tests/saks/should_fail/T16756b.stderr +++ b/testsuite/tests/saks/should_fail/T16756b.stderr @@ -1,4 +1,4 @@ -T16756b.hs:8:1: error: +T16756b.hs:8:1: error: [GHC-83865] • Expected a type, but found something with kind ‘* -> *’ • In the data type declaration for ‘T’ diff --git a/testsuite/tests/saks/should_fail/T16758.stderr b/testsuite/tests/saks/should_fail/T16758.stderr index 066a4f106a..945004f0f3 100644 --- a/testsuite/tests/saks/should_fail/T16758.stderr +++ b/testsuite/tests/saks/should_fail/T16758.stderr @@ -1,5 +1,5 @@ -T16758.hs:14:8: error: +T16758.hs:14:8: error: [GHC-25897] • Couldn't match expected kind ‘Int’ with actual kind ‘a’ ‘a’ is a rigid type variable bound by the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/T16826.stderr b/testsuite/tests/saks/should_fail/T16826.stderr index c2272806c9..6ca9a6e479 100644 --- a/testsuite/tests/saks/should_fail/T16826.stderr +++ b/testsuite/tests/saks/should_fail/T16826.stderr @@ -1,5 +1,5 @@ -T16826.hs:14:1: error: +T16826.hs:14:1: error: [GHC-80768] • Kind signature on a class must end with Constraint unobscured by type families • In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/T18863a.stderr b/testsuite/tests/saks/should_fail/T18863a.stderr index 8a9de6da6e..c36a102530 100644 --- a/testsuite/tests/saks/should_fail/T18863a.stderr +++ b/testsuite/tests/saks/should_fail/T18863a.stderr @@ -1,5 +1,5 @@ -T18863a.hs:9:1: error: +T18863a.hs:9:1: error: [GHC-83865] • Couldn't match expected kind: forall i. i -> * with actual kind: forall i -> i -> * • In the data type declaration for ‘IDa’ diff --git a/testsuite/tests/saks/should_fail/T18863b.stderr b/testsuite/tests/saks/should_fail/T18863b.stderr index d1453044c1..4a57769a29 100644 --- a/testsuite/tests/saks/should_fail/T18863b.stderr +++ b/testsuite/tests/saks/should_fail/T18863b.stderr @@ -1,5 +1,5 @@ -T18863b.hs:9:1: error: +T18863b.hs:9:1: error: [GHC-83865] • Couldn't match expected kind: forall i -> i -> * with actual kind: i -> * • In the data type declaration for ‘IDb’ diff --git a/testsuite/tests/saks/should_fail/T20916.stderr b/testsuite/tests/saks/should_fail/T20916.stderr index aeef4ca438..b99ea9a225 100644 --- a/testsuite/tests/saks/should_fail/T20916.stderr +++ b/testsuite/tests/saks/should_fail/T20916.stderr @@ -1,4 +1,4 @@ -T20916.hs:8:10: error: +T20916.hs:8:10: error: [GHC-17370] • Different names for the same type variable: ‘p’ and ‘q’ • In the data type declaration for ‘T3’ diff --git a/testsuite/tests/saks/should_fail/saks007_fail.stderr b/testsuite/tests/saks/should_fail/saks007_fail.stderr index 367cb8e022..1ceefa9ee3 100644 --- a/testsuite/tests/saks/should_fail/saks007_fail.stderr +++ b/testsuite/tests/saks/should_fail/saks007_fail.stderr @@ -1,5 +1,5 @@ -saks007_fail.hs:15:10: error: +saks007_fail.hs:15:10: error: [GHC-83865] • Couldn't match kind ‘'True’ with ‘'False’ Expected: G (*) Actual: F (*) diff --git a/testsuite/tests/saks/should_fail/saks_fail003.stderr b/testsuite/tests/saks/should_fail/saks_fail003.stderr index f8f7f7af0d..92221896d8 100644 --- a/testsuite/tests/saks/should_fail/saks_fail003.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail003.stderr @@ -1,4 +1,4 @@ -saks_fail003.hs:6:11: error: +saks_fail003.hs:6:11: error: [GHC-65507] Wildcard ‘_’ not allowed in the standalone kind signature for T diff --git a/testsuite/tests/saks/should_fail/saks_fail004.stderr b/testsuite/tests/saks/should_fail/saks_fail004.stderr index 15ec978340..9474c09e1c 100644 --- a/testsuite/tests/saks/should_fail/saks_fail004.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail004.stderr @@ -1,4 +1,4 @@ -saks_fail004.hs:9:11: error: +saks_fail004.hs:9:11: error: [GHC-01259] • Illegal constraint in a kind: forall a. Eq a => * • In a standalone kind signature for ‘Q’: Eq a => Type diff --git a/testsuite/tests/saks/should_fail/saks_fail005.stderr b/testsuite/tests/saks/should_fail/saks_fail005.stderr index c0230a9fef..5e7262a171 100644 --- a/testsuite/tests/saks/should_fail/saks_fail005.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail005.stderr @@ -1,2 +1,3 @@ -saks_fail005.hs:14:32: error: Not in scope: type variable ‘k’ +saks_fail005.hs:14:32: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail006.stderr b/testsuite/tests/saks/should_fail/saks_fail006.stderr index fb7cbe18a7..74cb5083d1 100644 --- a/testsuite/tests/saks/should_fail/saks_fail006.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail006.stderr @@ -1,2 +1,3 @@ -saks_fail006.hs:13:20: error: Not in scope: type variable ‘k’ +saks_fail006.hs:13:20: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail007.stderr b/testsuite/tests/saks/should_fail/saks_fail007.stderr index bc2764b1e7..9e2d5921bc 100644 --- a/testsuite/tests/saks/should_fail/saks_fail007.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail007.stderr @@ -1,2 +1,2 @@ -saks_fail007.hs:7:12: error: parse error on input ‘::’ +saks_fail007.hs:7:12: error: [GHC-58481] parse error on input ‘::’ diff --git a/testsuite/tests/saks/should_fail/saks_fail008.stderr b/testsuite/tests/saks/should_fail/saks_fail008.stderr index 4679afb564..74f16d2a95 100644 --- a/testsuite/tests/saks/should_fail/saks_fail008.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail008.stderr @@ -1,5 +1,5 @@ -saks_fail008.hs:9:1: error: +saks_fail008.hs:9:1: error: [GHC-05989] • Not a function kind: * but extra binders found: x1 (x2 :: Type -> Type) • In the data type declaration for ‘T’ diff --git a/testsuite/tests/saks/should_fail/saks_fail009.stderr b/testsuite/tests/saks/should_fail/saks_fail009.stderr index 22b66b421b..11ef5a5c4f 100644 --- a/testsuite/tests/saks/should_fail/saks_fail009.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail009.stderr @@ -1,5 +1,5 @@ -saks_fail009.hs:9:1: error: +saks_fail009.hs:9:1: error: [GHC-83865] • Expecting one more argument to ‘k’ Expected a type, but ‘k’ has kind ‘* -> *’ • In the data type declaration for ‘T’ diff --git a/testsuite/tests/saks/should_fail/saks_fail010.stderr b/testsuite/tests/saks/should_fail/saks_fail010.stderr index b270ff2e67..1748c6f164 100644 --- a/testsuite/tests/saks/should_fail/saks_fail010.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail010.stderr @@ -1,4 +1,4 @@ -saks_fail010.hs:8:1: error: +saks_fail010.hs:8:1: error: [GHC-83865] • Expected a type, but found something with kind ‘* -> *’ • In the data type declaration for ‘T’ diff --git a/testsuite/tests/saks/should_fail/saks_fail011.stderr b/testsuite/tests/saks/should_fail/saks_fail011.stderr index ff23c7b1a3..8ec9aac5c4 100644 --- a/testsuite/tests/saks/should_fail/saks_fail011.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail011.stderr @@ -1,4 +1,4 @@ -saks_fail011.hs:9:1: error: +saks_fail011.hs:9:1: error: [GHC-83865] • Expected a type, but found something with kind ‘* -> *’ • In the data type declaration for ‘G’ diff --git a/testsuite/tests/saks/should_fail/saks_fail012.stderr b/testsuite/tests/saks/should_fail/saks_fail012.stderr index d43a0ac028..fe582d980c 100644 --- a/testsuite/tests/saks/should_fail/saks_fail012.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail012.stderr @@ -1,5 +1,5 @@ -saks_fail012.hs:8:1: error: +saks_fail012.hs:8:1: error: [GHC-83865] • Couldn't match expected kind ‘Constraint’ with actual kind ‘* -> Constraint’ • In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/saks_fail013.stderr b/testsuite/tests/saks/should_fail/saks_fail013.stderr index 4e041ba756..31188e0c3c 100644 --- a/testsuite/tests/saks/should_fail/saks_fail013.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail013.stderr @@ -1,2 +1,3 @@ -saks_fail013.hs:10:22: error: Not in scope: type variable ‘k’ +saks_fail013.hs:10:22: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail014.stderr b/testsuite/tests/saks/should_fail/saks_fail014.stderr index 68733410ee..ee698df28c 100644 --- a/testsuite/tests/saks/should_fail/saks_fail014.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail014.stderr @@ -1,11 +1,11 @@ -saks_fail014.hs:10:7: error: +saks_fail014.hs:10:7: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected kind ‘forall k. k’, but ‘Maybe’ has kind ‘* -> *’ • In the type ‘Maybe’ In the type family declaration for ‘T’ -saks_fail014.hs:11:7: error: +saks_fail014.hs:11:7: error: [GHC-83865] • Expected kind ‘forall k. k’, but ‘Integer’ has kind ‘*’ • In the type ‘Integer’ In the type family declaration for ‘T’ diff --git a/testsuite/tests/saks/should_fail/saks_fail015.stderr b/testsuite/tests/saks/should_fail/saks_fail015.stderr index d85b1a4c22..a65f504e00 100644 --- a/testsuite/tests/saks/should_fail/saks_fail015.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail015.stderr @@ -1,2 +1,3 @@ -saks_fail015.hs:11:29: error: Not in scope: type variable ‘k’ +saks_fail015.hs:11:29: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail016.stderr b/testsuite/tests/saks/should_fail/saks_fail016.stderr index 8f501674ea..234ac5251e 100644 --- a/testsuite/tests/saks/should_fail/saks_fail016.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail016.stderr @@ -1,2 +1,3 @@ -saks_fail016.hs:13:27: error: Not in scope: type variable ‘k’ +saks_fail016.hs:13:27: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail017.stderr b/testsuite/tests/saks/should_fail/saks_fail017.stderr index b43ff35632..6cd762f6e0 100644 --- a/testsuite/tests/saks/should_fail/saks_fail017.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail017.stderr @@ -1,2 +1,3 @@ -saks_fail017.hs:12:13: error: Not in scope: type variable ‘k’ +saks_fail017.hs:12:13: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail018.stderr b/testsuite/tests/saks/should_fail/saks_fail018.stderr index 38b7c59662..d014bde5a0 100644 --- a/testsuite/tests/saks/should_fail/saks_fail018.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail018.stderr @@ -1,2 +1,3 @@ -saks_fail018.hs:13:26: error: Not in scope: type variable ‘k’ +saks_fail018.hs:13:26: error: [GHC-76037] + Not in scope: type variable ‘k’ diff --git a/testsuite/tests/saks/should_fail/saks_fail019.stderr b/testsuite/tests/saks/should_fail/saks_fail019.stderr index a824ab118c..f1e661950c 100644 --- a/testsuite/tests/saks/should_fail/saks_fail019.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail019.stderr @@ -1,5 +1,5 @@ -saks_fail019.hs:9:1: error: +saks_fail019.hs:9:1: error: [GHC-25897] • Couldn't match kind ‘x’ with ‘*’ Expected: x -> * Actual: * -> * diff --git a/testsuite/tests/saks/should_fail/saks_fail020.stderr b/testsuite/tests/saks/should_fail/saks_fail020.stderr index 002d7b27b3..729008ff3b 100644 --- a/testsuite/tests/saks/should_fail/saks_fail020.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail020.stderr @@ -1,5 +1,5 @@ -saks_fail020.hs:9:49: error: +saks_fail020.hs:9:49: error: [GHC-25897] • Expected kind ‘k1’, but ‘a’ has kind ‘k’ ‘k’ is a rigid type variable bound by a standalone kind signature for ‘Foo2’ diff --git a/testsuite/tests/saks/should_fail/saks_fail021.stderr b/testsuite/tests/saks/should_fail/saks_fail021.stderr index fa20ccc826..e6e790b60f 100644 --- a/testsuite/tests/saks/should_fail/saks_fail021.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail021.stderr @@ -1,4 +1,4 @@ -saks_fail021.hs:10:1: error: +saks_fail021.hs:10:1: error: [GHC-25897] • Expected a type, but ‘a’ has kind ‘k’ • In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/saks_fail022.stderr b/testsuite/tests/saks/should_fail/saks_fail022.stderr index 0591eced95..d1e33ff32d 100644 --- a/testsuite/tests/saks/should_fail/saks_fail022.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail022.stderr @@ -1,4 +1,4 @@ -saks_fail022.hs:10:1: error: +saks_fail022.hs:10:1: error: [GHC-25897] • Expected kind ‘(x, y)’, but ‘a’ has kind ‘k’ • In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/saks_fail023.stderr b/testsuite/tests/saks/should_fail/saks_fail023.stderr index 36144f6d9d..7b0cec30bf 100644 --- a/testsuite/tests/saks/should_fail/saks_fail023.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail023.stderr @@ -1,4 +1,4 @@ -saks_fail023.hs:10:1: error: +saks_fail023.hs:10:1: error: [GHC-25897] • Expected a type, but ‘a’ has kind ‘k’ • In the class declaration for ‘C’ diff --git a/testsuite/tests/saks/should_fail/saks_fail024.stderr b/testsuite/tests/saks/should_fail/saks_fail024.stderr index 0266358356..e46094b4ce 100644 --- a/testsuite/tests/saks/should_fail/saks_fail024.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail024.stderr @@ -1,3 +1,3 @@ -saks_fail024.hs:7:6: error: +saks_fail024.hs:7:6: error: [GHC-73413] Expected an unqualified type constructor: Data.Kind.Type diff --git a/testsuite/tests/saks/should_fail/saks_fail025.stderr b/testsuite/tests/saks/should_fail/saks_fail025.stderr index 52e1527d3b..b129667369 100644 --- a/testsuite/tests/saks/should_fail/saks_fail025.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail025.stderr @@ -1,5 +1,5 @@ -saks_fail025.hs:7:6: error: +saks_fail025.hs:7:6: error: [GHC-42569] Standalone kind signatures do not support multiple names at the moment: A, B, C See https://gitlab.haskell.org/ghc/ghc/issues/16754 for details. diff --git a/testsuite/tests/saks/should_fail/saks_fail026.stderr b/testsuite/tests/saks/should_fail/saks_fail026.stderr index ceeeaa01c7..5f5c557a64 100644 --- a/testsuite/tests/saks/should_fail/saks_fail026.stderr +++ b/testsuite/tests/saks/should_fail/saks_fail026.stderr @@ -1,5 +1,5 @@ -saks_fail026.hs:8:1: error: +saks_fail026.hs:8:1: error: [GHC-25897] • Expected kind ‘kx’, but ‘b’ has kind ‘*’ ‘kx’ is a rigid type variable bound by the type family declaration for ‘F3’ |