Am Mittwoch, 23. April 2008 06:18 schrieb John Meacham: > On Tue, Apr 22, 2008 at 08:33:53AM +0100, Simon Peyton-Jones wrote: > > Is this the most up-to-date description of the proposal? > > http://repetae.net/recent/out/classalias.html > > There were a few changes proposed in the discussion that followed my > announcement that I wanted to make. The one I can remember now is > getting rid of the 'alias' keyword since the equals sign unabiguously > identifies it as an alias. I will dig through the archive to find the > others..
I also have some remark: Why not write > class Eq a => Num a = (Additive a, Multiplicative a) instead of > class Num a = Eq a => (Additive a, Multiplicative a) The former would better match the syntax for ordinary class declarations like: > class Eq a => Num a where > > […] > […] Best wishes, Wolfgang _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime