> Richard Eisenberg cis.upenn.edu> writes:
>
> You can always define a helper closed type family
> and have an open type family instance just call a closed type family.
Thank you Richard, you mean like:
type family OpenF a
...
type instance OpenF (Foo b c) = FFoo (Foo b c)
typ
On Jun 3, 2015, at 7:09 PM, AntC wrote:
> Is this separate instance group idea still a gleam in someone's eye?
> If not, is there some deep theoretical reason against?
Not to my knowledge (to both questions). But I don't believe we've lost any
expressiveness over the earlier version. You can
Currently (GHC 7.8.3) the only form for Closed Type Families is:
type family F a where ...
-- list your instances here
(This was considered a common use case
-- for example in HList to put the type-matching instance
with the non-matching, and that would be total coverage;
rather than
There have been some requests for a Cabal library release for 7.10.2. I
remember something about truncate directories/symbol names being an issue.
I'm CC:ing the Cabal mailing list for comments.
On Wed, Jun 3, 2015 at 3:40 PM, Sergei Meshveliani wrote:
> Please,
> consider my recent bug report
>
Please,
consider my recent bug report
"overlapping instances in 7.10.1"
(see my resent email to this list).
--
Sergei
On Tue, 2015-06-02 at 16:31 -0500, Austin Seipp wrote:
> Hi *,
>
> I've just finished merging all the latest patches for GHC 7.10.2 into
> the STABLE branch. All in all, w
(This post is available online at
https://ghc.haskell.org/trac/ghc/blog/weekly20150603)
Hi *,
It's that time once again - to get some info on what's happening in
the world of GHC! It's been a quiet few weeks as a UK Holiday punted
one of GHC HQ's meetings off, and this week we were only partially
