Richard Eisenberg
Richard Eisenberg
Thanks for posting this! And thanks for including a concrete suggestion for improvement. I agree that the new output is correct. Why do you think the new output is better?...
I'm with @jmct. I would love to see this move forward, but I have not had the ability (i.e. time) to move it along myself. The suggestions above about specific...
There are several reasons that Haskell standardization has stalled, in my personal opinion: * No one has stood up and pledged to herd the cats. Herding cats is hard, time-consuming,...
That's about what I expected as a response. Clearly, these states aren't actively causing harm (though they could, conceivably, be causing a bit of slowdown -- I have no idea)....
Yes, I think it's the presence of Givens that distinguishes the messages, and I agree this is confusing. I personally think the ambiguous variable should lead the charge.
Several reactions: - There are a lot of moving parts to this proposal. It makes me worried to think about including this in the report without an implementation. - I've...
> I would certainly welcome a implementation, but I'm not sure what the best way of effecting it would be. A GHC proposal would probably stand less efective. > I...
As you admit (by "best-effort"), this is hard in general. Indeed, it's possible that a library exposes a type with a class constraint such that the class cannot be imported...
The Note @silky proposes is definitely doable, yes. Does it improve the status quo?
See https://gitlab.haskell.org/ghc/ghc/-/issues/20385.