blob: 75657552182d3109f0973d93cc1dbcd608ef4125 (
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,
OverlappingInstances, UndecidableInstances, IncoherentInstances,
FlexibleInstances #-}
module Foo where
class C a b c | b -> c
instance C Bool Int Float
instance C Char Int Double
|