From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 27 Dec 2019 13:37:55 +0000 (+0000)
Subject: todo: Note default parameters.
X-Git-Tag: v'0.2'~132
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=d7be5d49d48ee62e7cd2a16007e8002b80aa8fe5;p=goals.git

todo: Note default parameters.
---

diff --git a/TODO b/TODO
index 8eb190d..4ed2e11 100644
--- a/TODO
+++ b/TODO
@@ -1 +1,6 @@
 'let :=' for immediate evaluation in assignment.
+
+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.