From 06cded44aff81ef9ccfb1cd7af913cf4f8a7eeb5 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 31 Dec 2018 02:16:32 -0800 Subject: [PATCH] Added todo --- tools/replace.nom | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/replace.nom b/tools/replace.nom index 7abe960..9d96c54 100755 --- a/tools/replace.nom +++ b/tools/replace.nom @@ -44,6 +44,8 @@ $pattern_vars = { recurse $ on $child } +# TODO: support wildcards and unpacking + e.g. nomsu -t replace "test(: $test; *$more_tests)" "*$more_tests; *$test" ($tree matches $patt with $substitution_values) means: # TODO: optimize $substitution_values = {: for $k = $v in $substitution_values: add $k = $v}