building transformers library, irrefutable patterns
Hello I can build all of transformers (http://hackage.haskell.org/package/transformers) but only when excluding the files: Control.Monad.Trans.RWS.Lazy, Control.Monad.Trans.State.Lazy, Control.Monad.Trans.Writer.Lazy Which use irrefutable patterns, I could probably make this work without them but I just thought it was worth mentioning.
On Sat, 7 Aug 2010, Korcan Hussein wrote:
Hello I can build all of transformers (http://hackage.haskell.org/package/transformers) but only when excluding the files:
Control.Monad.Trans.RWS.Lazy, Control.Monad.Trans.State.Lazy, Control.Monad.Trans.Writer.Lazy
Which use irrefutable patterns, I could probably make this work without them but I just thought it was worth mentioning.
I remember I already complained about this issue and wrote a quick fix that replaces the ~ with let's.
On Sat, Aug 07, 2010 at 04:08:05PM +0200, Henning Thielemann wrote:
On Sat, 7 Aug 2010, Korcan Hussein wrote:
Hello I can build all of transformers (http://hackage.haskell.org/package/transformers) but only when excluding the files:
Control.Monad.Trans.RWS.Lazy, Control.Monad.Trans.State.Lazy, Control.Monad.Trans.Writer.Lazy
Which use irrefutable patterns, I could probably make this work without them but I just thought it was worth mentioning.
I remember I already complained about this issue and wrote a quick fix that replaces the ~ with let's.
Thanks for the report, I had looked into it before a bit when Henning reported it, but didn't get around to fixing it then. I was able to fix it now, so it will be fixed in the next release. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
I put transformers into the included external libraries, thanks for the heads up! John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
Cool, on a related note does jhc support type families? I think I read a previous update that mentions using type families for some module but that might have been the implementation of jhc rather than support in jhc? ----------------------------------------
Date: Mon, 9 Aug 2010 22:52:55 -0700 From: john@repetae.net To: jhc@haskell.org Subject: Re: [jhc] building transformers library, irrefutable patterns
I put transformers into the included external libraries, thanks for the heads up!
John
-- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/ _______________________________________________ jhc mailing list jhc@haskell.org http://www.haskell.org/mailman/listinfo/jhc
On Tue, Aug 10, 2010 at 08:23:17AM +0000, Korcan Hussein wrote:
Cool, on a related note does jhc support type families? I think I read a previous update that mentions using type families for some module but that might have been the implementation of jhc rather than support in jhc?
No, not yet. Though, type families are particularly easy to implement in jhc due to the way it does classes and data families are practically free. So there is a fairly good chance jhc will have data family support before even MPTCs (which are fairly tricky in jhc actually). They will likely take the form of 'associated data types' on first iteration rather than top level type families, it makes things easier to attach them to type classes. I don't have a firm timeline on when I will get to implementing them, but data families won't be too much work if there is a compelling need for them. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
participants (3)
-
Henning Thielemann -
John Meacham -
Korcan Hussein