[Haskell-cafe] Re: deriving

2008-04-08 Thread Christian Maeder
Anton van Straaten wrote: How about making deriving x an expression which means: instance x where compiler implementation deriving Eq i.e. following data List a = List a creates an instance like: instance Eq a = Eq (List a) where compiler implementation The problem was discussed for

Re: [Haskell-cafe] Re: deriving

2008-04-08 Thread Hans Aberg
On 8 Apr 2008, at 17:03, Christian Maeder wrote: deriving Eq i.e. following data List a = List a creates an instance like: instance Eq a = Eq (List a) where compiler implementation The problem was discussed for Stand-alone deriving declarations: