Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / T2247.hs
1 {-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses, UndecidableInstances, FlexibleInstances #-}
2
3 module T2247 where
4
5 class FD a b | a -> b
6 instance CFD a b => FD a b
7
8 class {- FD a b => -} CFD a b
9 instance CFD Bool Char
10 instance CFD Bool Bool
11
12 f' :: FD Bool Bool => Bool
13 f' = True
14
15 g' :: FD Bool Char => Bool
16 g' = False
17
18 x = f'