[Git][ghc/ghc][wip/ghc-8.8-merges] testsuite: Fix expected output

[Ben Gamari]

Ben Gamari pushed to branch wip/ghc-8.8-merges at Glasgow Haskell Compiler / GHC


Commits:
7c9c129e by Ben Gamari at 2019-06-22T13:01:34Z
testsuite: Fix expected output

- - - - -


2 changed files:

- testsuite/tests/partial-sigs/should_fail/T11976.stderr
- testsuite/tests/partial-sigs/should_fail/T12634.stderr


Changes:

=====================================
testsuite/tests/partial-sigs/should_fail/T11976.stderr
=====================================
@@ -1,6 +1,17 @@
 
-T11976.hs:7:20: error:
-    • Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’
-    • In the type ‘Lens _ _ _’
+T11976.hs:7:7:
+     Cannot instantiate unification variable ‘a0’
+      with a type involving foralls: Lens _3 _4 _5
+        GHC doesn't yet support impredicative polymorphism
+     In the expression: undefined :: Lens _ _ _
+      In an equation for ‘foo’: foo = undefined :: Lens _ _ _
+     Relevant bindings include
+        foo :: Lens _ _1 _2 (bound at T11976.hs:7:1)
+
+T11976.hs:7:20:
+     Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’
+     In the type ‘Lens _ _ _’
       In an expression type signature: Lens _ _ _
       In the expression: undefined :: Lens _ _ _
+     Relevant bindings include
+        foo :: Lens _ _1 _2 (bound at T11976.hs:7:1)


=====================================
testsuite/tests/partial-sigs/should_fail/T12634.stderr
=====================================
@@ -1,10 +1,31 @@
 
-T12634.hs:14:58: error:
-    • Expected a type, but
+T12634.hs:14:19:
+     Found type wildcard ‘_’ standing for ‘()’
+      To use the inferred type, enable PartialTypeSignatures
+     In the type signature:
+        bench_twacePow :: forall t m m' r.
+                          _ => t m' r -> Bench '(t, m, m', r)
+
+T12634.hs:14:58:
+     Expected a type, but
       ‘'(t, m, m', r)’ has kind
-      ‘(k1 -> k2 -> *, k0, k1, k2)’
-    • In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’
+      ‘(* -> * -> *, *, *, *)’
+     In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’
       In the type ‘t m' r -> Bench '(t, m, m', r)’
       In the type signature:
         bench_twacePow :: forall t m m' r.
                           _ => t m' r -> Bench '(t, m, m', r)
+
+T12634.hs:15:18:
+     Couldn't match kind ‘(* -> * -> *, *, *, *)’ with ‘*’
+      When matching types
+        params0 :: *
+        '(t, m, m', r) :: (* -> * -> *, *, *, *)
+      Expected type: t m' r -> Bench '(t, m, m', r)
+        Actual type: t m' r -> Bench params0
+     In the expression: bench (twacePowDec :: t m' r -> t m r)
+      In an equation for ‘bench_twacePow’:
+          bench_twacePow = bench (twacePowDec :: t m' r -> t m r)
+     Relevant bindings include
+        bench_twacePow :: t m' r -> Bench '(t, m, m', r)
+          (bound at T12634.hs:15:1)



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/7c9c129ef2f688c878f21af11d3a4195744bc1e6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/7c9c129ef2f688c878f21af11d3a4195744bc1e6
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/20190622/21416e11/attachment-0001.html>