[Git][ghc/ghc][wip/backports] Accept testsuite changes

[Ben Gamari]

Ben Gamari pushed to branch wip/backports at Glasgow Haskell Compiler / GHC


Commits:
308fe4db by GHC GitLab CI at 2020-06-30T14:18:56+00:00
Accept testsuite changes

- - - - -


6 changed files:

- testsuite/tests/dependent/should_fail/SelfDep.stderr
- testsuite/tests/dependent/should_fail/T16344.stderr
- testsuite/tests/partial-sigs/should_compile/T15039b.stderr
- testsuite/tests/partial-sigs/should_compile/T15039d.stderr
- testsuite/tests/polykinds/PolyKinds06.stderr
- testsuite/tests/typecheck/should_fail/T7892.stderr


Changes:

=====================================
testsuite/tests/dependent/should_fail/SelfDep.stderr
=====================================
@@ -3,4 +3,3 @@ SelfDep.hs:5:11: error:
     • Type constructor ‘T’ cannot be used here
         (it is defined and used in the same recursive group)
     • In the kind ‘T -> *’
-      In the data type declaration for ‘T’


=====================================
testsuite/tests/dependent/should_fail/T16344.stderr
=====================================
@@ -4,3 +4,7 @@ T16344.hs:7:46: error:
     • In the second argument of ‘T’, namely ‘Int’
       In the type ‘(T Type Int Bool)’
       In the definition of data constructor ‘MkT’
+      NB: Type ‘T’ was inferred to use visible dependent quantification.
+      Most types with visible dependent quantification are
+      polymorphically recursive and need a standalone kind
+      signature. Perhaps supply one, with StandaloneKindSignatures.


=====================================
testsuite/tests/partial-sigs/should_compile/T15039b.stderr
=====================================
@@ -52,6 +52,6 @@ T15039b.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_’ standing for ‘Coercible @* a b’
       Where: ‘a’, ‘b’ are rigid type variables bound by
                the inferred type of ex7 :: Coercible @* a b => Coercion @{*} a b
-               at T15039b.hs:36:1-14
+               at T15039b.hs:35:1-44
     • In the type signature:
         ex7 :: _ => Coercion (a :: Type) (b :: Type)


=====================================
testsuite/tests/partial-sigs/should_compile/T15039d.stderr
=====================================
@@ -53,6 +53,6 @@ T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_’ standing for ‘Coercible @* a b’
       Where: ‘a’, ‘b’ are rigid type variables bound by
                the inferred type of ex7 :: Coercible @* a b => Coercion @{*} a b
-               at T15039d.hs:36:1-14
+               at T15039d.hs:35:1-44
     • In the type signature:
         ex7 :: _ => Coercion (a :: Type) (b :: Type)


=====================================
testsuite/tests/polykinds/PolyKinds06.stderr
=====================================
@@ -3,4 +3,3 @@ PolyKinds06.hs:9:11: error:
     • Type constructor ‘A’ cannot be used here
         (it is defined and used in the same recursive group)
     • In the kind ‘A -> *’
-      In the data type declaration for ‘B’


=====================================
testsuite/tests/typecheck/should_fail/T7892.stderr
=====================================
@@ -1,4 +1,2 @@
 
-T7892.hs:5:4: error:
-    • Expected kind ‘* -> *’, but ‘f’ has kind ‘*’
-    • In the associated type family declaration for ‘F’
+T7892.hs:5:4: error: Expected kind ‘* -> *’, but ‘f’ has kind ‘*’



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/308fe4db16120949c4b60a34531b5bf850794d69

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/308fe4db16120949c4b60a34531b5bf850794d69
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200630/0c1d5da4/attachment-0001.html>