Ashley Yakeley wrote at Sun, 12 Nov 2000 23:20:31 -0800:
> C++ provides a convenient mechanism for cleaning up stuff, the
> destructor, which is guaranteed to
and asked if something like the C++ destructor could be done
in haskell.
Don't try this. One of the main attractions of C++ destru
Hello.
I found that Hugs differs from GHC 4.08.1 and from NHC98 1.00
in instance declarations where the instance head has only
type variables: Hugs accepts them while the other two rejects.
Attached is a small program that demonstrates it.
Hugs happily runs the program and outputs the list
> 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
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
Tired of seeing people in OCaml TShirts at ICFP? Ready to show the
world what language *real* programmers use? Well, here's your chance.
We're going to add a "store" to haskell.org to offer Haskell stuff for
your holiday shopping convenience. We're going to start with T-shirts
and other stuff
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
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
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 _
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