On 18 October 2011 13:49, bob zhang wrote:
> In my contrived example the definition of class C is like this
> class C c where { foo :: c Int => }
> class C B => B a where { ...}
> will this pass under your proposal?
Yes I would allow this to pass.
If this would be eno
I finally moved to GHC 7.0.3, a rather late update :)
I updated GhciExt for it and if you want to script ghci commands a bit
you can grab it as an example and use. It probably works well enough. I
was lucky and did not use debugger a lot lately, so I'm not sure.
http://www.hck.sk/users/peter/p
| Subject: Re: Records in Haskell
|
| I have added my proposal to the wiki.The only downsides to it that I can see
are:
Thanks to Barney for articulating a proposal for records in Haskell. Over
various plane rides and ICFP chats I've worked out some more details. It's not
as simple as I'd ho
That would be great.
Would you mind send me a patch, or commit it to the source tree.
Actually I found in the paper SYB with classes also need such change,
if you don't like overlapping instance.
class Data cxt a => cxt a where
On Thu, Oct 20, 2011 at 11:14 AM, Max Bolingbroke <
batterseapo...@ho