From: Richard W.M. Jones <rjones@redhat.com>
Date: Thu, 19 Sep 2013 09:22:08 +0000 (+0100)
Subject: Update TODO.
X-Git-Tag: 0.2~20
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=23355e48876170ad9bc725fcb161da3ab0412cf0;p=goaljobs.git

Update TODO.
---

diff --git a/TODO b/TODO
index 50b3c4b..f846913 100644
--- a/TODO
+++ b/TODO
@@ -4,3 +4,24 @@ Enhancements to pa_goal:
    rule so we can improve error messages.
 
  - Implement some sort of tracing based on the above.
+
+It should be possible to register goal "atexit [of goal]" handlers.
+These only run when the goal successfully exits, allowing:
+
+ - implicit memory_set
+
+ - implicit check_target
+
+Multiple definitions of goals:
+
+  let goal file_exists filename when filename `starts_with` "/foo" ->
+    ...
+
+  let goal file_exists filename when filename `starts_with` "/bar" ->
+    ...
+
+  - Might be implemented something like this:
+    add_goal (`File_exists, fun patt -> raise Matches, fun patt -> expr)
+    then when we run goals, we check them against all patterns (how?)
+    and only if one matches to we run that function.  Multi-matches are
+    not permitted.