diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T3692.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T3692.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T3692.hs b/testsuite/tests/typecheck/should_compile/T3692.hs index 5be093f55f..4d5a61074f 100644 --- a/testsuite/tests/typecheck/should_compile/T3692.hs +++ b/testsuite/tests/typecheck/should_compile/T3692.hs @@ -7,5 +7,8 @@ type Foo a b = () -> (Bar a => a) class Bar a where {} +boo :: Foo p q +boo x = undefined + foo :: Foo a b -foo = id (undefined :: Foo p q) +foo y = id (\x -> boo x) y |