Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / FDsFromGivens.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, GADTs #-}
2
3 module FDsFromGivens where
4
5 class C a b | a -> b where
6 cop :: a -> b -> ()
7
8 {- Failing, as it righteously should! It's inaccessible code -}
9 -- But (c.f. test T5236) we no longer reject this in the
10 -- typechecker (see Trac #12466)
11 -- Instead we get a redundant pattern-match warning,
12 -- in the post-typechecking pattern-match checks
13 g1 :: (C Char [a], C Char Bool) => a -> ()
14 g1 x = ()
15