I've never noticed it before and I've been editing a lot of Nix code.
This construct is redundant and body is a completely arbitrary non-keyword. No-one should use it.
Here's a parser production for it. It's desugared immediately to (rec { }).body. I've also pasted REC for reference.
I found this in the Nix test suite:
I've never noticed it before and I've been editing a lot of Nix code. This construct is redundant and
body
is a completely arbitrary non-keyword. No-one should use it.Here's a parser production for it. It's desugared immediately to
(rec { }).body
. I've also pastedREC
for reference.