search

chris-martin / bricks

Bricks is a lazy functional language based on Nix.
https://hackage.haskell.org/package/bricks
6 stars 1 forks source link

Dynamic attributes should not be allowed in let bindings #2

Closed chris-martin closed 6 years ago

chris-martin commented 6 years ago

See Twitter thread: https://twitter.com/chris__martin/status/907158874670682112

chris-martin commented 6 years ago

Fixed, the type of the left-hand side of a let is now Str'Static. Furthermore, the type of an inherit list is also Str'Static, for both dict and let. These are the restrictions Nix imposes, I've noticed after some testing.