On 2/7/06, John Meacham <[EMAIL PROTECTED]> wrote:
> But this is exactly the behavior you want, you can't very well expect to
> sort without an Ord a instance.
Okay, so maybe that was a bad example. Let's see...
data Eq a => Set a = ...
uniq :: Eq a => [a] -> [a]
uniq = <code using Set>
Now if Set switches to an Ord implementation, I will suddenly have a problem...
--
Taral <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
