December 2008 03:23
| To: haskell Cafe
| Subject: [Haskell-cafe] know a workaround for greedy context reduction?
|
| With these three declarations
|
| {-# LANGUAGE FlexibleInstances #-}
| {-# LANGUAGE UndecidableInstances #-}
|
| class C a where c :: a
| class C a = D a where d
December 2008 03:23
| To: haskell Cafe
| Subject: [Haskell-cafe] know a workaround for greedy context reduction?
|
| With these three declarations
|
| {-# LANGUAGE FlexibleInstances #-}
| {-# LANGUAGE UndecidableInstances #-}
|
| class C a where c :: a
| class C a = D a where d :: a
| instance
December 2008 03:23
| To: haskell Cafe
| Subject: [Haskell-cafe] know a workaround for greedy context reduction?
|
| With these three declarations
|
| {-# LANGUAGE FlexibleInstances #-}
| {-# LANGUAGE UndecidableInstances #-}
|
| class C a where c :: a
| class C a = D a where d
With these three declarations
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
class C a where c :: a
class C a = D a where d :: a
instance C a = D a where d = c
ghci exhibits this behavior:
* :t d
d :: (C a) = a
Where I would prefer d :: (D a) = a. In my