Concrete#, SpecialPred, and CtEvidence invariants

[Alexis King]

On Wed, Dec 8, 2021 at 2:20 PM Richard Eisenberg <lists at richarde.dev> wrote:

> Does this help?
>

Yes, it does, and what you said makes sense.

Really, the intent of the invariant isn’t “zonkedness” *per se*, but merely
that the type of the evidence should be “at least as zonked” as ctev_pred
is. But that is a little vague and handwavy, so I’ll go the route you
suggest and just reword things a little to explain.

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20211209/cbdd64f9/attachment.html>