Bump `base` version to 4.9.0.0 (closes #11026)
[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