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