7.8 Release Update

Austin Seipp aseipp at pobox.com
Mon Sep 9 18:48:03 CEST 2013


Herbert brought this question to my attention earlier - what's the
cutoff date for boot libraries?

IMO, I think boot library updates can happen until the actual branch
in Oct. I'm planning on pushing the Applicative-Monad patch today,
which will require some upstream coordination as well, including a
patch to Cabal I believe.

Short answer: yes, that'll be fine.

On Mon, Sep 9, 2013 at 11:39 AM, Johan Tibell <johan.tibell at gmail.com> wrote:
> Is it OK if I release Cabal-1.18.0.1 on Monday if we want it to ship
> with GHC 7.8? 1.18.0.1 is a tiny bugfix release on top of 1.18.0.
>
> On Mon, Sep 9, 2013 at 8:44 AM, Simon Peyton-Jones
> <simonpj at microsoft.com> wrote:
>> Yes I will try to review it this week. (This is the first time I've had access to the code.)
>>
>> Simon
>>
>> | -----Original Message-----
>> | From: Austin Seipp [mailto:aseipp at pobox.com]
>> | Sent: 09 September 2013 16:25
>> | To: Trevor Elliott
>> | Cc: Austin Seipp; ghc-devs at haskell.org; glasgow-haskell-
>> | users at haskell.org; Simon Peyton-Jones
>> | Subject: Re: 7.8 Release Update
>> |
>> | Excellent. Simon, are you privvy to this work at all? We lightly
>> | talked about it last week, but I'm not sure if you've reviewed it. Or
>> | perhaps Pedro or someone else could if we have time (I seem to
>> | remember he drew up the initial design points.)
>> |
>> | On Sun, Sep 8, 2013 at 11:08 PM, Trevor Elliott <trevor at galois.com>
>> | wrote:
>> | > Hi Austin,
>> | >
>> | > Iavor and I have got the data kinds syntax changes up to date with
>> | master,
>> | > on the data-kind-syntax branch.  The -XDataKinds section of the manual
>> | has
>> | > been updated to describe the new syntax.  During a validate run, there
>> | were
>> | > some problems building haddock, so I'm going to look into that
>> | tonight.
>> | >
>> | > There are tests for the data kind syntax in the test suite, currently
>> | on the
>> | > data-kind-syntax branch.
>> | >
>> | > Other than the haddock fix, I think that we're ready to go.
>> | >
>> | > Thanks!
>> | >
>> | > --trevor
>> | >
>> | >
>> | > On Sun 08 Sep 2013 04:27:33 PM PDT, Austin Seipp wrote:
>> | >>
>> | >> Friends,
>> | >>
>> | >> After talking with SPJ, we've decided that the cutoff date for the
>> | 7.8
>> | >> feature window will essentially start on Monday, the 16th. This is
>> | the
>> | >> beginning of the week before ICFP. This is a week from tomorrow.
>> | >>
>> | >> Afterwords, I suspect we will cut the 7.8 branch in early October (my
>> | >> notes tentatively say Oct. 9th.) This will give us a few weeks of
>> | >> straight bugfixing.
>> | >>
>> | >> Don't let this scare you too much. We're doing this at the beginning
>> | >> of the week so we have time to sort things out. Bug fixes will of
>> | >> course continuously be welcome until the 7.8 branch.
>> | >>
>> | >> However, for pending features, I'd like a status update. Everyone
>> | >> mentioned below, please reply to clarify anything:
>> | >>
>> | >>   * Iavor Diatchki and SPJ are working together on the type-nats-
>> | simple
>> | >> branch. I believe this will hopefully land in time. Iavor, SPJ - can
>> | >> you comment here?
>> | >>
>> | >>   * Trevor and Iavor are also working on kinds without data. Any word
>> | >> here?
>> | >>
>> | >>   * Geoffrey is currently moving, but he says the SIMD work and new
>> | >> template-haskell work will land by the end of this week, which is
>> | >> great.
>> | >>
>> | >>   * Patrick Palka has a few loose ends to tie off for the parallel
>> | >> compilation driver. I talked to him today, and after Andreas
>> | committed
>> | >> his bugfix to base, I believe everything is now working, with the
>> | >> deadlocks sorted out. Patrick, can you confirm? We can get this
>> | merged
>> | >> ASAP if so.
>> | >>
>> | >>   * Pedro and Richard - what's the story on propositional equality,
>> | >> etc? This is mentioned on the status page[1] but I'm not sure what
>> | >> else needs to be done. I know Pedro committed the work to make manual
>> | >> Typeable instances an error, which is great.
>> | >>
>> | >>   * Luite and Edsko will be talking about some final changes to the
>> | >> hooks patch, and afterwords it can hopefully be integrated. I'll keep
>> | >> up with them this week.
>> | >>
>> | >>   * I am currently working on integrating the Applicative-Monad
>> | >> warning, but this requires some upstream patches for the build to
>> | >> work. However, we still need to sync several upstream libraries, and
>> | >> this will be happening over the next few weeks. Therefore, I may
>> | >> commit it, and incrementally fix validation errors as time goes on
>> | and
>> | >> me and Herbert sync upstreams.
>> | >>
>> | >> IMO, most of these look to be in good shape, I think.
>> | >>
>> | >> If you *do not think you'll make it by the 16th*, please let me know.
>> | >> We can possibly still land it the week of the 16th, provided I know
>> | >> ASAP. But we really really need to know, because many people will be
>> | >> gone the following week.
>> | >>
>> | >> In the following few days, I'm hoping going to finish off everything
>> | I
>> | >> can in the patch queue, and fix my remaining bugs, and investigate
>> | >> Dynamic GHCi in particular.
>> | >>
>> | >> Again, if you don't think you can make it on the 16th, but still
>> | >> within the week, we can of discuss it.
>> | >>
>> | >
>> |
>> |
>> |
>> | --
>> | Regards,
>> | Austin - PGP: 4096R/0x91384671
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://www.haskell.org/mailman/listinfo/ghc-devs



-- 
Regards,
Austin - PGP: 4096R/0x91384671




More information about the Glasgow-haskell-users mailing list