I'm doing that now
| -----Original Message----- | From: ghc-devs [mailto:[email protected]] On Behalf Of Jan | Stolarek | Sent: 10 June 2014 17:16 | To: [email protected] | Subject: Re: HEADS-UP: diagrams does not compile with HEAD (regressions) | | Reid is correct. This is a result of fixing #8883. I agree that printing | the inferred signature | sounds like a good idea. | | Janek | | Dnia wtorek, 10 czerwca 2014, Reid Barton napisał: | > I expect this is a result of | https://ghc.haskell.org/trac/ghc/ticket/8883, | > but even so it's not clear to me whether the error is correct. It would | be | > nice if GHC printed the type it inferred for succ' in this kind of | > situation. | > | > Regards, | > Reid Barton | > | > On Tue, Jun 10, 2014 at 7:55 AM, Gabor Greif <[email protected]> wrote: | > > Devs, | > > | > > as of recently GHC HEAD stopped building the diagrams library. | Several | > > prerequisite libs also fail to compile. A specific error message | > > appears in an attoparsec issue | > > <https://github.com/bos/attoparsec/issues/67>, for which I have | > > submitted a workaround. But as Herbert cautiously points out, this | > > could be a recent GHC bug surfacing. | > > | > > The symptoms of the bug seem to be that GHC complains about the usage | > > of (~) type equality operation, but there is no reference to that | type | > > operator in the source code. To work around the problem it suffices | to | > > add -XGADTs or -XTypeFamilies. | > > | > > Does this ring any bells? Can automatized tests catch such things in | the | > > future? | > > | > > Cheers, | > > | > > Gabor | > > _______________________________________________ | > > 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 _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
