blob: 6ca238b09792dd508637792b47d758e4a180353d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
UndecidableInstances,
IncoherentInstances,
FlexibleInstances #-}
-- #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
|