diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr | 13 |
1 files changed, 13 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..5b6f56ad16 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr @@ -0,0 +1,13 @@ + +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) + arising from a static form + In the expression: static return + In an equation for ‘f2’: f2 = static return |