Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt6.hs
1 {-# LANGUAGE GADTs #-}
2
3 module ShouldCompile where
4
5 data T a where
6 T :: b -> (b->Int) -> a -> T a
7
8 f (T b f a) = a
9