[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