Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_compile / T16033.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE RankNTypes #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 module T16033 where
5
6 f :: (forall x. x -> forall y. y -> c) -> ()
7 f (_ :: forall a. a -> forall b. b -> c) = ()