[Git][ghc/ghc][wip/T24676] One more error message change
Simon Peyton Jones (@simonpj)
gitlab at gitlab.haskell.org
Tue Jun 4 22:37:19 UTC 2024
Simon Peyton Jones pushed to branch wip/T24676 at Glasgow Haskell Compiler / GHC
Commits:
f60ff66c by Simon Peyton Jones at 2024-06-04T23:36:54+01:00
One more error message change
- - - - -
1 changed file:
- testsuite/tests/typecheck/should_fail/T8450.stderr
Changes:
=====================================
testsuite/tests/typecheck/should_fail/T8450.stderr
=====================================
@@ -1,15 +1,15 @@
-T8450.hs:8:18: error: [GHC-25897]
+T8450.hs:8:19: error: [GHC-25897]
• Couldn't match type ‘a’ with ‘Bool’
- Expected: Either Bool a
+ Expected: Either Bool ()
Actual: Either a ()
‘a’ is a rigid type variable bound by
the type signature for:
run :: forall a. a
at T8450.hs:7:1-18
- • In the first argument of ‘runEffect’, namely
+ • In the second argument of ‘($)’, namely
‘(undefined :: Either a ())’
- In the expression: runEffect (undefined :: Either a ())
+ In the expression: runEffect $ (undefined :: Either a ())
In an equation for ‘run’:
- run = runEffect (undefined :: Either a ())
+ run = runEffect $ (undefined :: Either a ())
• Relevant bindings include run :: a (bound at T8450.hs:8:1)
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f60ff66ce2e68cbbe0c4672140534265d1178f17
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f60ff66ce2e68cbbe0c4672140534265d1178f17
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/20240604/3ec2ed45/attachment-0001.html>
More information about the ghc-commits
mailing list