Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail202.hs
1 -- trac #2307
2 -- This was accepted due to a bug in GHC
3
4 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
5 UndecidableInstances, IncoherentInstances,
6 FlexibleInstances #-}
7
8 module Foo where
9
10 class C a b c | b -> c
11 instance C Bool Int Float
12 instance C Char Int Double
13