diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12648.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T12648.stderr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12648.stderr b/testsuite/tests/typecheck/should_fail/T12648.stderr new file mode 100644 index 0000000000..227bc6773e --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T12648.stderr @@ -0,0 +1,17 @@ + +T12648.hs:76:2: error: + • Couldn't match type ‘a’ with ‘()’ + ‘a’ is a rigid type variable bound by + the type signature for: + f :: forall (m :: * -> *) a. MonadBaseUnlift m IO => m a + at T12648.hs:71:1-34 + Expected type: m a + Actual type: m () + • In a stmt of a 'do' block: return () + In the expression: + do _ <- askUnliftBase + return () + In an equation for ‘f’: + f = do _ <- askUnliftBase + return () + • Relevant bindings include f :: m a (bound at T12648.hs:72:1) |