The constraint solver can certainly simplify this to get b ~ y. Perhaps all
that is needed is to call it?
David: a small reproducer would be helpful.
Mathias, yell if you need help.
Simon
From: ghc-devs On Behalf Of David Feuer
Sent: 07 June 2019 18:37
To: GHC users ; ghc-devs
Subject: Ty
I've been playing around with 8.6.3, and I've really been appreciating the
improvements in typed hole messages. Both the information about constraints
and the suggestions for filling the holes have proven valuable in heavily
typish programming. Thanks! One thing that's still not where I'd like it t
Thanks, Ben, for this summary. I am happy to wait for a resolution -- as long
as there is some hope that waiting will not be in vain. This email indeed gives
me this hope.
And, for the record, I agree that the merge-train support should be
significantly higher priority. The whole merge scenario
Hi Ömer,
It doesn't require Postgres, I just haven't cleaned up the dependencies. My
bad. :-(
I pushed the cleaned version.
However, noticed strange thing during testing of the cleaned package. There is
no leak any more. And the problem is that I can't reproduce it, not even with
previous c
