Closed Radvendii closed 2 years ago
I remember some talk about {x}: x
- but do not remember what the theme was. But your fix makes sense & I love things that make sense.
CI is rough currently.
I navigate on Nixpkgs pinned build.
Also tested it locally.
the treatment of variable bindings was of so e.g.
{x}: x
was said to havex
as a free variable. This seemed to just be a mistake to me, so I fixed it and added a test for that and similar cases.