RE: Deriving regression or bad code?
It's really a bug. I've fixed it in my tree, but I'm at 2.8 and don't have time to validate etc. So I'm doubtful that I'll be in time to get a fix into 6.12.1, alas. Well, maybe I can build a patch and send it to Simon/Ian for testing. I'll try to do that if it's important to you. it's bit of an exotic case because of the higher-kindedness so I don't think it'll bite too man people There's a good workaround: use standalone deriving. You | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Ron Alford | Sent: 10 April 2010 22:33 | To: glasgow-haskell-users | Subject: Re: Deriving regression or bad code? | | Just for fun, I tried it on 6.12.1.20100330 with the same result. | Does anyone have a workaround? Otherwise I need to revert to 6.10. | | -Ron | | On Thu, Apr 8, 2010 at 10:35 AM, Ron Alford ronw...@volus.net wrote: | At Igloo's suggestion, it's now a ticket: | http://hackage.haskell.org/trac/ghc/ticket/3965 | | -Ron | | On Thu, Apr 8, 2010 at 1:39 AM, Ron Alford ronw...@volus.net wrote: | I've attached the simplest example of my code that used to compile in | GHC 6.10 now gives the error in GHC 6.12.1: | ... | | ___ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Deriving regression or bad code?
I was getting a similar error with standalone deriving (already attached to that bug), but I didn't try it through-out. I'll let you know how it goes. -Ron On Mon, Apr 12, 2010 at 6:01 AM, Simon Peyton-Jones simo...@microsoft.com wrote: It's really a bug. I've fixed it in my tree, but I'm at 2.8 and don't have time to validate etc. So I'm doubtful that I'll be in time to get a fix into 6.12.1, alas. Well, maybe I can build a patch and send it to Simon/Ian for testing. I'll try to do that if it's important to you. it's bit of an exotic case because of the higher-kindedness so I don't think it'll bite too man people There's a good workaround: use standalone deriving. You | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Ron Alford | Sent: 10 April 2010 22:33 | To: glasgow-haskell-users | Subject: Re: Deriving regression or bad code? | | Just for fun, I tried it on 6.12.1.20100330 with the same result. | Does anyone have a workaround? Otherwise I need to revert to 6.10. | | -Ron | | On Thu, Apr 8, 2010 at 10:35 AM, Ron Alford ronw...@volus.net wrote: | At Igloo's suggestion, it's now a ticket: | http://hackage.haskell.org/trac/ghc/ticket/3965 | | -Ron | | On Thu, Apr 8, 2010 at 1:39 AM, Ron Alford ronw...@volus.net wrote: | I've attached the simplest example of my code that used to compile in | GHC 6.10 now gives the error in GHC 6.12.1: | ... | | ___ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: Deriving regression or bad code?
The standalone deriving decl you need is the one for (Data (a :+: b)), not for Expr Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Ron Alford | Sent: 12 April 2010 11:09 | To: Simon Peyton-Jones | Cc: glasgow-haskell-users | Subject: Re: Deriving regression or bad code? | | I was getting a similar error with standalone deriving (already | attached to that bug), but I didn't try it through-out. I'll let you | know how it goes. | | -Ron | | | On Mon, Apr 12, 2010 at 6:01 AM, Simon Peyton-Jones | simo...@microsoft.com wrote: | It's really a bug. I've fixed it in my tree, but I'm at 2.8 and don't have | time to validate etc. So I'm doubtful that I'll be in time to get a fix into | 6.12.1, alas. | | Well, maybe I can build a patch and send it to Simon/Ian for testing. I'll | try to do that if it's important to you. | | it's bit of an exotic case because of the higher-kindedness so I don't | think it'll bite too man people | | There's a good workaround: use standalone deriving. | | You | | | -Original Message- | | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | | users-boun...@haskell.org] On Behalf Of Ron Alford | | Sent: 10 April 2010 22:33 | | To: glasgow-haskell-users | | Subject: Re: Deriving regression or bad code? | | | | Just for fun, I tried it on 6.12.1.20100330 with the same result. | | Does anyone have a workaround? Otherwise I need to revert to 6.10. | | | | -Ron | | | | On Thu, Apr 8, 2010 at 10:35 AM, Ron Alford ronw...@volus.net wrote: | | At Igloo's suggestion, it's now a ticket: | | http://hackage.haskell.org/trac/ghc/ticket/3965 | | | | -Ron | | | | On Thu, Apr 8, 2010 at 1:39 AM, Ron Alford ronw...@volus.net wrote: | | I've attached the simplest example of my code that used to compile in | | GHC 6.10 now gives the error in GHC 6.12.1: | | ... | | | | ___ | | Glasgow-haskell-users mailing list | | Glasgow-haskell-users@haskell.org | | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | | | ___ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Deriving regression or bad code?
Just for fun, I tried it on 6.12.1.20100330 with the same result. Does anyone have a workaround? Otherwise I need to revert to 6.10. -Ron On Thu, Apr 8, 2010 at 10:35 AM, Ron Alford ronw...@volus.net wrote: At Igloo's suggestion, it's now a ticket: http://hackage.haskell.org/trac/ghc/ticket/3965 -Ron On Thu, Apr 8, 2010 at 1:39 AM, Ron Alford ronw...@volus.net wrote: I've attached the simplest example of my code that used to compile in GHC 6.10 now gives the error in GHC 6.12.1: ... ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Deriving regression or bad code?
At Igloo's suggestion, it's now a ticket: http://hackage.haskell.org/trac/ghc/ticket/3965 -Ron On Thu, Apr 8, 2010 at 1:39 AM, Ron Alford ronw...@volus.net wrote: I've attached the simplest example of my code that used to compile in GHC 6.10 now gives the error in GHC 6.12.1: ... ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Deriving regression or bad code?
I've attached the simplest example of my code that used to compile in GHC 6.10 now gives the error in GHC 6.12.1: baddata.hs:33:14: No instances for (Data Const, Data Var) arising from the 'deriving' clause of a data type declaration at baddata.hs:33:14-17 Possible fix: add an instance declaration for (Data Const, Data Var) or use a standalone 'deriving instance' declaration instead, so you can specify the instance context yourself When deriving the instance for (Data (Domain e g)) If I replace: data Domain e g = Domain (Expr (Const :+: Var)) deriving (Data, Typeable) with: data Domain e g = Domain (Expr (Const)) deriving (Data, Typeable) then everything compiles. If nothing else, the error message is misleading. -Ron baddata.hs Description: Binary data ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users