blob: ea0c335a962a9da24b8d2731edbc6ab9b8e5db97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
UndecidableInstances,
IncoherentInstances,
FlexibleInstances #-}
-- Trac #2307
module ShouldFail where
class C a b c | a -> b, a -> c
instance C Int (Maybe String) Float
instance C Int (Maybe Bool) Double
|