[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:
b68e25b1 by Ben Gamari at 2019-06-22T04:38:21Z
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,32 @@
 
-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/b68e25b14e90559e1b490a7bc81a8ef0e674a8b4

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