Austin
The ticket (#5719) says "merge if you like but I don't think it's needed". No one complained at the time, so Ian didn't merge it. He's tried merging just the patches you identify, but they don't merge cleanly any more. So I'm afraid this particular fix won't be in 7.4. Sorry.
Simon
| -----Original Message-----
| From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-
| users-bounces@haskell.org] On Behalf Of Austin Seipp
| Sent: 29 January 2012 02:27
| To: glasgow-haskell-users@haskell.org
| Subject: Re: ANNOUNCE: GHC 7.4.1 Release Candidate 2
|
| Hello again Ian,
|
| I noticed that in December, Bas van Dijk reported a bug in the
| implementation of ConstraintKinds/associated type defaults, and the
| fix wasn't merged to 7.4.1.
|
| The relevant email thread is archived here:
|
| http://www.haskell.org/pipermail/glasgow-haskell-users/2011-
| December/021318.html
|
| The relevant trac ticket is #5719 here:
|
| http://hackage.haskell.org/trac/ghc/ticket/5719
|
| The example in the ticket does not type-check with GHC 7.4.1-rc2, but
| it does with a copy of HEAD. There seem to be 2 commits that are
| relevant to this issue:
|
| https://github.com/ghc/ghc/commit/416c5903f3b8cf4cdd4a03c8949489df18cd790a
|
| https://github.com/ghc/ghc/commit/8785726b57ccd44c5451385de61913a79fe02eb7
|
| Would it be possible to have these merged into the 7.4 branch before
| release? They fix the issue Bas reported, and eliminate the need for
| his kludgy fix which uses an Empty typeclass to get around the issue.
| It makes turning Set into a Functor much cleaner in this case, IMO.
|
|
|
| On Fri, Jan 27, 2012 at 5:15 PM, Ian Lynagh