Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.hs
1 module T7368 where
2
3 f = b (l Nothing)
4
5 l :: b a -> c b
6 l = undefined
7
8 b :: (a -> b) -> c
9 b = undefined