HEADS-UP: diagrams does not compile with HEAD (regressions)
ggreif at gmail.com
Wed Jun 11 11:06:55 UTC 2014
thanks for clarifying this! As it is biting various libraries, it
would warrant to add some blurb into the release notes. Or does an
entry exist already?
On 6/10/14, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
> Reid is correct. This is a result of fixing #8883. I agree that printing the
> inferred signature
> sounds like a good idea.
> Dnia wtorek, 10 czerwca 2014, Reid Barton napisał:
>> I expect this is a result of
>> but even so it's not clear to me whether the error is correct. It would
>> nice if GHC printed the type it inferred for succ' in this kind of
>> Reid Barton
>> On Tue, Jun 10, 2014 at 7:55 AM, Gabor Greif <ggreif at gmail.com> 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
>> > ghc-devs at haskell.org
>> > http://www.haskell.org/mailman/listinfo/ghc-devs
More information about the ghc-devs