RE: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-04 Thread Simon Peyton-Jones
| lot of elements in it. Having to do an explicit declaration of deriving | (Data,Typeable) for each of them is just a tremendous beat-down no | matter where I do it. I hate to see you beaten down, Alex. Make a feature request. I don't want to make promises, but having a well-specified

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-04 Thread Neil Mitchell
Hi On 6/1/07, Alex Jacobson [EMAIL PROTECTED] wrote: I suppose a deriveAll command from template haskell would work. Is that really possible? Asking people who have more knowledge of template haskell, I'm still not sure. What it would really rely on is: getDataDeclarationsInCurrentModule

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-04 Thread Claus Reinke
I suppose a deriveAll command from template haskell would work. Is that really possible? Asking people who have more knowledge of template haskell, I'm still not sure. What it would really rely on is: getDataDeclarationsInCurrentModule :: Q [Dec] Whether that can be done or not is still not

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-01 Thread Claus Reinke
Actually, standalone deriving doesn't really solve the boilerplate boilerplate problem. My original complaint here is that I don't want to explicitly declare a deriving (Data,Typeable) for every type used somewhere inside a larger type I am using. In this particular case, I am using SYB to

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-01 Thread Alex Jacobson
Claus Reinke wrote: Actually, standalone deriving doesn't really solve the boilerplate boilerplate problem. My original complaint here is that I don't want to explicitly declare a deriving (Data,Typeable) for every type used somewhere inside a larger type I am using. In this particular case,

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-01 Thread Neil Mitchell
Hi Alex, The problem with Data.Derive is that I now have a pre-processor cycle as part of my build process. Automatic and universal Data and Typeable instance deriving should just be built into Haskell. Not if you use the template haskell support. We don't currently have a deriveAll command,

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-06-01 Thread Alex Jacobson
I suppose a deriveAll command from template haskell would work. Is that really possible? -Alex- Neil Mitchell wrote: Hi Alex, The problem with Data.Derive is that I now have a pre-processor cycle as part of my build process. Automatic and universal Data and Typeable instance deriving should

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-05-31 Thread Alex Jacobson
Actually, standalone deriving doesn't really solve the boilerplate boilerplate problem. My original complaint here is that I don't want to explicitly declare a deriving (Data,Typeable) for every type used somewhere inside a larger type I am using. In this particular case, I am using SYB to

[Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-05-24 Thread Simon Peyton-Jones
[Redirecting to haskell-cafe; the main list is a good place to open discussions but not so good for continuing them] |derive (Ord,Eq,Read,Show,Typeable) (BlogEntry Name Title Body Emai) | | according to the most recent status report, the syntax is not quite | settled yet, so what is in ghc

Re: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-05-24 Thread Claus Reinke
| according to the most recent status report, the syntax is not quite | settled yet, so what is in ghc head might still change. more info here: | | http://haskell.org/haskellwiki/GHC/StandAloneDeriving Indeed... but nothing much is happening at the moment because there's not been much

RE: [Haskell-cafe] RE: [Haskell] boilerplate boilerplate

2007-05-24 Thread Simon Peyton-Jones
| does that help to keep it on the radar?-) | claus Indeed! But please modify the wiki. Email has a half life of about 1 day! S ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: [Haskell] boilerplate boilerplate

2007-05-22 Thread Jacques Carette
Personally I would like {-# OPTIONS -fglasgow-exts -fgenerics -} module Blog.Types where family Usual = (Eq, Ord, Read, Show, Typeable) data BlogEntry = Entry EpochSeconds Name Email Title Body deriving Usual newtype Name = Name String deriving Usual newtype Title = Title String deriving