Haskell Platform 2013.2 Proposal Status

[Carter Schonwald]

I'm happy to go through a build + build  on my mac this afternoon if no one
else is dealing with this.

-Carter


On Tue, Apr 16, 2013 at 4:34 AM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

> I think we just need someone who is prepared to simultaneously build (a)
> ghc, (b) hets, to test my fix.  My fix certainly fixes #7748.
>
> Simon
>
> | -----Original Message-----
> | From: Christian Maeder [mailto:Christian.Maeder at dfki.de]
> | Sent: 16 April 2013 09:32
> | Cc: Simon Peyton-Jones; Mark Lentczner; ghc-devs at haskell.org
> | Subject: Re: Haskell Platform 2013.2 Proposal Status
> |
> | It is the changeset
> | http://trac.informatik.uni-bremen.de:8080/hets/changeset/17857 that
> | toggles the bug.
> |
> | C.
> |
> | Am 15.04.2013 18:02, schrieb Christian Maeder:
> | > Am 15.04.2013 16:43, schrieb Simon Peyton-Jones:
> | >> Bother.  Which version of hets?  How can I reproduce?
> | >
> | > A student added some (innocent) code and did not notice that it
> | > <<loop>>s for ghc-7.6.2. He used ghc-7.0.3 initially.
> | >
> | > He said that he found the spot where he needs to add a type signature
> | > to a local function.
> | >
> | > Accidentally, I've reverted our hets code in Rev. 17852 to avoid the
> | > broken code.
> | >
> | > reproducing the problem:
> | >
> | >    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets
> | >    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk
> | > Hets-lib
> | >    cd Hets
> | >    svn cat -r 17851 Proofs/AbstractState.hs > Proofs/AbstractState.hs
> | >    cabal install  # I hope this works for you
> | >    make
> | >    ./hets ../Hets-lib/Datatypes.hpf
> | >
> | >
> | > Analyzing library Datatypes
> | > Analyzing spec Datatypes#Nat
> | > Analyzing spec Datatypes#List
> | > Analyzing spec Datatypes#Partial_Order Analyzing spec
> | > Datatypes#Total_Order Analyzing spec
> | > Datatypes#ProblematicDefinitionOfSelectors
> | > Analyzing spec Datatypes#Char
> | > Analyzing spec Datatypes#String
> | > Analyzing spec Datatypes#StringList
> | > Analyzing spec Datatypes#UnboundedBranchingTree Adding comorphism
> | > hets: <<loop>>
> | >
> | >
> | > The worst thing is that "if it compiles it usually runs" is now less
> | > valid. There may be <<loop>>s lurking in hackage packages, that have
> | > not been hit by runtime tests.
> | >
> | > Christian
> | >
> | >>
> | >> Simon
> | >>
> | >> | -----Original Message-----
> | >> | From: haskell-platform-bounces at projects.haskell.org
> | >> | [mailto:haskell- platform-bounces at projects.haskell.org] On Behalf
> | >> | Of Christian Maeder
> | >> | Sent: 12 April 2013 10:26
> | >> | To: Mark Lentczner
> | >> | Cc: haskell-platform at projects.haskell.org; Haskell Libraries
> | >> | Subject: Re: Haskell Platform 2013.2 Proposal Status
> | >> |
> | >> | Hi,
> | >> |
> | >> | I just spoiled my day by
> | >> http://hackage.haskell.org/trac/ghc/ticket/7748
> | >> | with ghc-7.6.2 in our large project:
> | >> |
> | >> | hets: <<loop>>
> | >> |
> | >> | hets works fine with ghc-7.6.1 (and older versions). I haven't
> | >> | located the error yet, though.
> | >> |
> | >> | Yet, I therefore conclude, GHC 7.6.2 ist not suited for the
> | >> | official
> | >> HP.
> | >> |
> | >> | Cheers Christian
> | >> |
> | >> | Am 11.04.2013 07:33, schrieb Mark Lentczner:
> | >> | > Well, I admit I am a bit tardy with this, and a few dates in the
> | >> | > schedule have come and gone. But have no fear, I think we'll be
> | okay.
> | >> | >
> | >> | > /*All: */
> | >> | > Updated the time line the 2013.2 release:
> | >> | >
> | >> | >   * *Today* - Call for proposals ends (no more proposals
> | considered)
> | >> | >   * *April 15th* - Proposals decided, Initial version list
> | >> | >   * *April 22th* - First candidates
> | >> | >   * *April 29th* - Open issues resolved, Second candidates
> | >> | >   * *May 6th* - Final release candidates
> | >> | >
> | >> | > /*Proposals:*/
> | >> | > These are the proposals being considered for 2013.2, and my
> | >> | > current assessment of the "rough consensus":
> | >> | >
> | >> | >   * *case-insensitive:* general consensus for including
> | >> | >   * *attoparsec: *general consensus for including
> | >> | >   *
> | >> | >   * *unordered-containers:* general consensus for including
> | >> | >   * *hashable:* while there has been much discussion about what
> | to do
> | >> | >     going forward, I see general consensus that accepting version
> | 1.1
> | >> | >     into the platform (which is required by other proposals here)
> | >> | >   * *OpenGL *&* GLUT:* these have been repackaged by Jason to
> | >> | > meet
> | >> all
> | >> | >     the concerns of the community. They include two new lower-
> | level
> | >> | >     packages *OpenGLRaw* and *GLURaw*. General consensus
> | >> | >     for continuing to include, with the lower level packages, and
> | >> | >     upgraded to latest versions (yay!)
> | >> | >   * *JuicyPixels:* people like the idea of having a library like
> | this
> | >> | >     one, perhaps even this one, but there is concern that this
> | API
> | >> | >     hasn't baked enough. There is not enough consensus for
> | including.
> | >> | >
> | >> | > I give you all until Monday for any further discussion, and then
> | >> we'll
> | >> | > call it.
> | >> | >
> | >> | > /*Versions*/
> | >> | > I now call it official: HP 2013.2 will use GHC 7.6.2. Library
> | >> | > maintainers: Please get ready to answer my e-mail when it come
> | >> | > a'knockin' on your inbox with the version of your lib we should
> | >> | > ship in this release.
> | >> | >
> | >> | >     - Mark "Chief Haskell Gift-Wrapper" Lentczner
> | >> | >
> | >> | >
> | >> | >
> | >> | >
> | >> | > _______________________________________________
> | >> | > Libraries mailing list
> | >> | > Libraries at haskell.org
> | >> | > http://www.haskell.org/mailman/listinfo/libraries
> | >> | >
> | >> |
> | >> |
> | >> | _______________________________________________
> | >> | Haskell-platform mailing list
> | >> | Haskell-platform at projects.haskell.org
> | >> | http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platfo
> | >> | rm
> | >>
> | >>
> | >
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130416/c69b94f9/attachment.htm>