From 23355e48876170ad9bc725fcb161da3ab0412cf0 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 19 Sep 2013 10:22:08 +0100 Subject: [PATCH] Update TODO. --- TODO | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) 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. -- 1.8.3.1