(By the way, is there any plans to implement multiparameter type
classes and instance overlapping in NHC98?)
No-one at York has any current plans to implement MPTC or instance
overlapping in nhc98. However, other people would be most welcome
to do so if they wished.
Regards,
Malcolm
On Wed, Nov 15, 2000 at 10:21:28AM +, Malcolm Wallace wrote:
(By the way, is there any plans to implement multiparameter type
classes and instance overlapping in NHC98?)
No-one at York has any current plans to implement MPTC or instance
overlapping in nhc98. However, other people
class C a where
ty :: a - String
instance (Num a) = C a where
ty _ = "NUM"
instance C Integer where
ty _ = "Integer"
Why GHC and NHC98 are more restrictive than Hugs?
The instances for (Num a= a) and Integer overlap, and are therefore
forbidden by Haskell'98.
Hugs allows
On Tue, Nov 14, 2000 at 05:02:30PM +, Malcolm Wallace wrote:
class C a where
ty :: a - String
instance (Num a) = C a where
ty _ = "NUM"
instance C Integer where
ty _ = "Integer"
Why GHC and NHC98 are more restrictive than Hugs?
The instances for (Num a= a) and
Tue, 14 Nov 2000 16:17:48 -0200, José Romildo Malaquias [EMAIL PROTECTED]
pisze:
But this is not relevant to my question. Removing the instance
declaration
instance C Integer where
ty _ = "Integer"
from the program (so that there is no instance overlapping now)
does not help.
José Romildo Malaquias wrote:
On Tue, Nov 14, 2000 at 05:02:30PM +, Malcolm Wallace wrote:
class C a where
ty :: a - String
instance (Num a) = C a where
ty _ = "NUM"
instance C Integer where
ty _ = "Integer"
Why GHC and NHC98 are more restrictive than
On Tue, Nov 14, 2000 at 07:41:21PM +, Marcin 'Qrczak' Kowalczyk wrote:
Tue, 14 Nov 2000 16:17:48 -0200, José Romildo Malaquias [EMAIL PROTECTED]
pisze:
But this is not relevant to my question. Removing the instance
declaration
instance C Integer where
ty _ = "Integer"
On Tue, Nov 14, 2000 at 02:18:47PM -0800, Jeffrey R. Lewis wrote:
José Romildo Malaquias wrote:
On Tue, Nov 14, 2000 at 05:02:30PM +, Malcolm Wallace wrote:
class C a where
ty :: a - String
instance (Num a) = C a where
ty _ = "NUM"
instance C Integer where