Re: Maybe type

1997-07-08 Thread John C. Peterson
This is certainly a small bug in the Hugs Prelude. If you look at the 1.4 report, the order of the constructors is correct. I think this bug went back to the 1.2 report and has been sitting in the Hugs prelude since then. This will be fixed in the official Hugs 1.4 release. John

Re: Maybe type

1997-07-08 Thread Joe Fasel
It looks like a mistake to me, too. --Joe | The definition of Maybe (at least in the Hugs prelude) is: | | data Maybe a = Just a | Nothing |deriving (Eq, Ord, Read, Show) | | The (to me) unfortunate consequence of this is that "Nothing" is the upper | bound of the type (as oppo

Maybe type

1997-07-07 Thread Arthur Gold
The definition of Maybe (at least in the Hugs prelude) is: data Maybe a = Just a | Nothing deriving (Eq, Ord, Read, Show) The (to me) unfortunate consequence of this is that "Nothing" is the upper bound of the type (as opposed to the lower bound, which makes more sense to me intui