blob: 6878e4ece6ece250faea9850aec4af0af06d44aa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- trac #2307
-- This was accepted due to a bug in GHC
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
UndecidableInstances, IncoherentInstances,
FlexibleInstances #-}
module Foo where
class C a b c | b -> c
instance C Bool Int Float
instance C Char Int Double
|
