On Wed, Apr 27, 2005 at 09:16:16PM +1000, Andre Pang wrote:
> >data RankN = RankNEq (forall a. Eq a => a -> a -> Bool)
> > | RankNOrd (forall a. Ord a => a -> a -> Bool)
> >
> >data Exists = forall a. Eq a => ExistsEq (a -> a -> Bool)
> > | forall a. Ord a => ExistsOrd (a -> a -> Bool)
>
> The two seem pretty equivalent to me, since the data
> constructors have the same type.
They don't:
ExistsEq :: (Eq a) => (a -> a -> Bool) -> Exists
RankNEq :: (forall a. (Eq a) => a -> a -> Bool) -> RankN
Best regards
Tomasz
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
