Define TyCoRep.ppSuggestExplicitKinds, and use it
[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 g1 :: (C Char [a], C Char Bool) => a -> ()
10 g1 x = ()
11