Fold base.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T2307.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
2 OverlappingInstances, UndecidableInstances,
3 IncoherentInstances,
4 FlexibleInstances #-}
5
6 -- Trac #2307
7
8 module ShouldFail where
9
10 class C a b c | a -> b, a -> c
11 instance C Int (Maybe String) Float
12 instance C Int (Maybe Bool) Double