let { as = { x = 123; y = 456; } // { z = 789; } // { z = 987; }; A = "a"; Z = "z"; body = if builtins.hasAttr A as then builtins.getAttr A as else assert builtins.hasAttr Z as; builtins.getAttr Z as; }
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
let { as = { x = 123; y = 456; } // { z = 789; } // { z = 987; }; A = "a"; Z = "z"; body = if builtins.hasAttr A as then builtins.getAttr A as else assert builtins.hasAttr Z as; builtins.getAttr Z as; }