ambiguous record field (but not *that* kind of ambiguous record field)

Richard Eisenberg lists at
Mon May 16 20:07:34 UTC 2022

> On May 16, 2022, at 3:45 PM, Sebastian Graf <sgraf1337 at> wrote:
> MkRec { field = \@a -> ... }

Hm -- perhaps you're right. I may have gotten myself all worked up over nothing. I was worried that unification would get confused, not sure that the `a`s match up. But I now think I was wrong -- it should be OK.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list