diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8450.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T8450.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8450.stderr b/testsuite/tests/typecheck/should_fail/T8450.stderr index 5697e4db2b..c5a751d867 100644 --- a/testsuite/tests/typecheck/should_fail/T8450.stderr +++ b/testsuite/tests/typecheck/should_fail/T8450.stderr @@ -1,11 +1,11 @@ - -T8450.hs:8:7: error: - • Couldn't match expected type ‘a’ with actual type ‘()’ - ‘a’ is a rigid type variable bound by - the type signature for: - run :: forall a. a - at T8450.hs:7:15 - • In the expression: runEffect $ (undefined :: Either a ()) - In an equation for ‘run’: - run = runEffect $ (undefined :: Either a ()) - • Relevant bindings include run :: a (bound at T8450.hs:8:1) +
+T8450.hs:8:7: error:
+ • Couldn't match expected type ‘a’ with actual type ‘()’
+ ‘a’ is a rigid type variable bound by
+ the type signature for:
+ run :: forall a. a
+ at T8450.hs:7:1-18
+ • In the expression: runEffect $ (undefined :: Either a ())
+ In an equation for ‘run’:
+ run = runEffect $ (undefined :: Either a ())
+ • Relevant bindings include run :: a (bound at T8450.hs:8:1)
|