Re: [ghc-steering-committee] Record syntax

On Jan 7, 2020, at 11:29 AM, Simon Peyton Jones via ghc-steering-committee wrote:

It’s a postfix operator, binding less tightly than function application, but more tightly than any infix operator.

I want to understand this a bit better. Looking at your examples, I would phrase it thusly:

It's a postfix operator, with the same precedence and same (left-)associativity as function application.

Does this agree with your idea? Indeed, I can't quite figure out what your text would mean. Richard