[Haskell-cafe] Undecideable instances for one instance?

Sergey Zaharchenko doublef-ctm at yandex.ru
Wed Jun 7 04:39:30 EDT 2006


Hello Christophe!

Wed, Jun 07, 2006 at 10:27:22AM +0200 you wrote:

> The sample code is:
> 
> {-# OPTIONS_GHC -fglasgow-exts #-}
> module Main where
> 
> data Located a = L a
> 
> class Locatable a where
> value :: Located a -> a
> wrap :: a -> Located a
> 
> instance Locatable a where

You probably mean ``instance Locatable (Located a)'', don't you?

> value (L a) = a
> wrap a = L a

HTH,

-- 
DoubleF
No virus detected in this message. Ehrm, wait a minute...
/kernel: pid 56921 (antivirus), uid 32000: exited on signal 9
Oh yes, no virus:)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20060607/70fe38ac/attachment.bin


More information about the Haskell-Cafe mailing list