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"};
}