Don't lint erroneous programs.
[ghc.git] / testsuite / tests / typecheck / should_fail / T15796.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeFamilies #-}
3 module Bug where
4
5 newtype N a where
6 MkN :: Show a => a -> N a
7 type family T a
8 type instance T (N a) = N a