Haskell Platform 2013.2 Proposal Status

[Simon Peyton-Jones]

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
| >>
| >>
| >