Simon Peyton Jones pushed to branch wip/T16762 at Glasgow Haskell Compiler / GHC
Commits:
a26f39ae by Simon Peyton Jones at 2020-10-28T10:52:22+00:00
Testsuite wibbles
- - - - -
3 changed files:
- testsuite/tests/polykinds/T11520.stderr
- testsuite/tests/saks/should_fail/saks_fail020.stderr
- testsuite/tests/typecheck/should_fail/T13909.stderr
Changes:
=====================================
testsuite/tests/polykinds/T11520.stderr
=====================================
@@ -2,7 +2,7 @@
T11520.hs:15:77: error:
• Expected kind ‘k2 -> k1’, but ‘g’ has kind ‘k4’
‘k4’ is a rigid type variable bound by
- the instance declaration
+ an instance declaration
at T11520.hs:15:10-78
• In the second argument of ‘Compose’, namely ‘g’
In the first argument of ‘Typeable’, namely ‘(Compose f g)’
=====================================
testsuite/tests/saks/should_fail/saks_fail020.stderr
=====================================
@@ -2,7 +2,7 @@
saks_fail020.hs:9:49: error:
• Expected kind ‘k1’, but ‘a’ has kind ‘k’
‘k’ is a rigid type variable bound by
- the instance declaration
+ a standalone kind signature for ‘Foo2’
at saks_fail020.hs:9:14-55
‘k1’ is a rigid type variable bound by
an explicit forall (k :: Type)
=====================================
testsuite/tests/typecheck/should_fail/T13909.stderr
=====================================
@@ -3,7 +3,7 @@ T13909.hs:11:18: error:
• Expecting two more arguments to ‘Hm’
Expected kind ‘k’, but ‘Hm’ has kind ‘forall k -> k -> *’
‘k’ is a rigid type variable bound by
- the instance declaration
+ an instance declaration
at T13909.hs:11:10-19
• In the first argument of ‘HasName’, namely ‘Hm’
In the instance declaration for ‘HasName Hm’
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a26f39aedca8bde393d868a92d8e0ba620fded1a
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a26f39aedca8bde393d868a92d8e0ba620fded1a
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/20201028/3ee3774f/attachment-0001.html>