Conversation

Any idea what part of

’s type checker should I look at to see why this works? try.purescript.org/?gist=d5bbb743

This is related to skolemization in the type checker, but intuitively it fails because you say it works for any f, but it's only for fn's

Replying to

and

Thought it was skolemization! Important thing is that I'm interested in how you got that behaviour for records - its what we want! 😅

Replying to

and

Years of tiny bug fixes 😀

Record and rank n interact in some weird ways. Some of it is careful design and some is from tweaks to support what we wanted.