blob: 321c2d56418c18d87b84d64ecfa4c3946d5a5865 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
OverlappingInstances, 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
|