run: If multiple goals match a tactic, at most one must have a CODE section.

[goals.git] / TODO

diff --git a/TODO b/TODO
index 8eb190d..0c67dcd 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1 +1,12 @@
-'let :=' for immediate evaluation in assignment.
+'let :=' for immediate evaluation in assignment.  Does this work
+for included files?
+
+Default parameters, ie:
+  goal foo (name, release = true) = ...
+You might only allow defaults to be added to the end, or you
+might allow goals to be called with labelled parameters.
+
+Functions, eg. wildcard("*.c").  These should be defined as shell
+scripts with a selection of common functions defined in stdlib.
+
+Fix: You must use 'all ()' on the command line.