Re: Closed Type Families: separate instance groups?

2015-06-03 Thread Richard Eisenberg
On Jun 3, 2015, at 7:09 PM, AntC anthony_clay...@clear.net.nz 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

Re: Closed Type Families: separate instance groups?

2015-06-03 Thread AntC
Richard Eisenberg eir at 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)

Closed Type Families: separate instance groups?

2015-06-03 Thread AntC
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

GHC Weekly News - 2015/06/03

2015-06-03 Thread Austin Seipp
(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

Re: -prof, -threaded, and -N

2015-06-03 Thread Lars Kuhtz
From https://github.com/ghc/ghc/blob/master/rts/RtsFlags.c#L1238 it seems that the behavior described in my email below is intended: ``` if (rts_argv[arg][2] == '\0') { #if defined(PROFILING) RtsFlags.ParFlags.nNodes = 1; #else

Re: ghc 7.10.1 hard lock on exit with shake, OS X 10.10

2015-06-03 Thread Austin Seipp
Perhaps #10317 is related? https://ghc.haskell.org/trac/ghc/ticket/10317 You might try building with the latest ghc-7.10 branch. On Wed, Jun 3, 2015 at 12:27 AM, Evan Laforge qdun...@gmail.com wrote: On Tue, Jun 2, 2015 at 7:20 PM, Carter Schonwald carter.schonw...@gmail.com wrote: could you

Re: HEADS UP: Final call for 7.10.2 is soon

2015-06-03 Thread Sergei Meshveliani
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, we've

Re: HEADS UP: Final call for 7.10.2 is soon

2015-06-03 Thread Johan Tibell
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 mech...@botik.ru wrote: Please, consider my