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
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@dfki.de] | Sent: 16 April 2013 09:32 | Cc: Simon Peyton-Jones; Mark Lentczner; ghc-devs@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@projects.haskell.org | >> | [mailto:haskell- platform-bounces@projects.haskell.org] On Behalf | >> | Of Christian Maeder | >> | Sent: 12 April 2013 10:26 | >> | To: Mark Lentczner | >> | Cc: haskell-platform@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@haskell.org | >> | > http://www.haskell.org/mailman/listinfo/libraries | >> | > | >> | | >> | | >> | _______________________________________________ | >> | Haskell-platform mailing list | >> | Haskell-platform@projects.haskell.org | >> | http://projects.haskell.org/cgi-bin/mailman/listinfo/haskell-platfo | >> | rm | >> | >> | >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs