[Git][ghc/ghc][wip/backports] testsuite: Accept output on ghc-8.10

[Ben Gamari]

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


Commits:
46e6f291 by Ben Gamari at 2020-05-30T17:20:28+00:00
testsuite: Accept output on ghc-8.10

It's not entirely clear which of the above patches introduced these
differences, but they all look reasonable.

- - - - -


7 changed files:

- testsuite/tests/dependent/should_fail/SelfDep.stderr
- testsuite/tests/dependent/should_fail/T16344.stderr
- testsuite/tests/ghci/T18060/T18060.stdout
- 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/ghci/T18060/T18060.stdout
=====================================
@@ -7,6 +7,3 @@ instance Functor ((->) r) -- Defined in ‘GHC.Base’
 instance Monad ((->) r) -- Defined in ‘GHC.Base’
 instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’
 instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’
-type (~) :: forall k. k -> k -> Constraint
-class (a ~ b) => (~) a b
-  	-- Defined in ‘GHC.Types’


=====================================
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/46e6f291658c968693360c528d5abb956497cad2

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/46e6f291658c968693360c528d5abb956497cad2
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/20200530/179d13e4/attachment-0001.html>