let foo = "foo"; in { simple = ./${foo}; surrounded = ./a-${foo}-b; absolute = /${foo}; expr = ./${foo + "/bar"}; home = ~/${foo}; notfirst = ./bar/${foo}; slashes = /${foo}/${"bar"}; }
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
let foo = "foo"; in { simple = ./${foo}; surrounded = ./a-${foo}-b; absolute = /${foo}; expr = ./${foo + "/bar"}; home = ~/${foo}; notfirst = ./bar/${foo}; slashes = /${foo}/${"bar"}; }