blob: 650d5accc4bf7f2827a186ed8bb0f3416b95072e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE RankNTypes, MultiParamTypeClasses #-}
{-# LANGUAGE AllowAmbiguousTypes #-} -- c3 is ambiguous!
-- Tests a bug spotted by Claus in which the type
-- of c3 was wrongly displayed in GHCi as
-- c3 :: C a b => a -> b
-- Should be
-- c3 :: C a b => a1 -> b
module A where
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b,Show b) => a -> b
c3 :: forall a. a -> b
|