On 2005-09-08, John Meacham <[EMAIL PROTECTED]> wrote: > of course, we can't do this because Num has Ord and Show as superclasses > when it really doesn't need to. (we would have to create a separate > class for 'pattern matchable nums' if we got rid of those, but that is > no problem other than being non-haskell-98 compatable). Solving this > 'class inflexibility' problem in general is something I have given some > thought too. I will let everyone know if I figure something out...
Has anyone found any problem with your "superclasses" proposal? http://repetae.net/john/recent/out/supertyping.html -- Aaron Denney -><- _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
