diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr new file mode 100644 index 0000000000..f11ec28f18 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr @@ -0,0 +1,14 @@ + +TcStaticPointersFail02.hs:9:6: + No instance for (Data.Typeable.Internal.Typeable b) + arising from a static form + In the expression: static (undefined :: (forall a. a -> a) -> b) + In an equation for ‘f1’: + f1 = static (undefined :: (forall a. a -> a) -> b) + +TcStaticPointersFail02.hs:12:6: + No instance for (Data.Typeable.Internal.Typeable Monad) + (maybe you haven't applied enough arguments to a function?) + arising from a static form + In the expression: static return + In an equation for ‘f2’: f2 = static return |