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 peop
> (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 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"
> > > > ins
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 _
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 m
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 n
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 fo
> 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
