assert builtins ? currentSystem; assert !builtins ? __currentSystem; let { x = if builtins ? dirOf then builtins.dirOf /foo/bar else ""; y = if builtins ? fnord then builtins.fnord "foo" else ""; body = x + y; }
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
assert builtins ? currentSystem; assert !builtins ? __currentSystem; let { x = if builtins ? dirOf then builtins.dirOf /foo/bar else ""; y = if builtins ? fnord then builtins.fnord "foo" else ""; body = x + y; }