diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T13819.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T13819.stderr | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13819.stderr b/testsuite/tests/typecheck/should_fail/T13819.stderr new file mode 100644 index 0000000000..ab818f399b --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T13819.stderr @@ -0,0 +1,18 @@ + +T13819.hs:12:10: error: + • Couldn't match type ‘w0 -> A w0’ with ‘A a’ + Expected type: a -> A a + Actual type: (w1 -> WrappedMonad A w2) (w0 -> A w0) + • In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure + In an equation for ‘pure’: + pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure + In the instance declaration for ‘Applicative A’ + • Relevant bindings include + pure :: a -> A a (bound at T13819.hs:12:3) + +T13819.hs:12:17: error: + • Expected kind ‘* -> *’, but ‘_ -> WrappedMonad A _’ has kind ‘*’ + • In the type ‘(_ -> WrappedMonad A _)’ + In the expression: pure @(_ -> WrappedMonad A _) @(_ -> A _) pure + In an equation for ‘pure’: + pure = pure @(_ -> WrappedMonad A _) @(_ -> A _) pure |