In article <[EMAIL PROTECTED]>,
Graham Klyne <[EMAIL PROTECTED]> wrote:
> class (Eq k, Show k) => Pair a k v where
> newPair :: (k,v) -> a k v
> getPair :: a k v -> (k,v)
I would consider one of these instead:
class Pair1 a where
newPair1 :: (Eq k, Show k) => (k,v) -> a k v
In article <[EMAIL PROTECTED]>,
Iavor Diatchki <[EMAIL PROTECTED]> wrote:
> yep this is annoying. there is a flag in GHC to warn you about
> such missing methods:
> -fwarn-missing-methods
Agreed, and it's inconsistent with modules. For instance, this is an
error:
module M (a) where {}
...b
===
5th International Workshop on
Soft Constraints
Held in conjunction with
9th International Conference on
Principles and Practice of Constraint Programming, CP2003
Actons Hote
