Re: [Haskell-cafe] Undecideable instances for one instance?

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:)