error: … while calling the 'substring' builtin at /pwd/lang/eval-fail-substring.nix:1:1: 1| builtins.substring (builtins.sub 0 1) 1 "x" | ^ 2| error: negative start position in 'substring'
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
error: … while calling the 'substring' builtin at /pwd/lang/eval-fail-substring.nix:1:1: 1| builtins.substring (builtins.sub 0 1) 1 "x" | ^ 2| error: negative start position in 'substring'