Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_compile / tc148.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 -- This program tickled a bug in 5.02.2's forall-lifting
4
5 module ShouldCompile where
6
7 class Class x where
8 combinator' :: (forall y. Class y => y -> y) -> x -> x
9
10 combinator :: (forall y. Class y => y -> y)
11 -> (forall x. Class x => x -> x)
12 combinator f = combinator' f