X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=TODO;h=f68c09889a92cbbe6e13ae035a74e717770c4952;hb=389eaef1047e69836f65ce99301d7a2589083581;hp=50b3c4ba8204a83c395f56a69cbd6bdee114e7dd;hpb=8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e;p=goaljobs.git diff --git a/TODO b/TODO index 50b3c4b..f68c098 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,28 @@ Enhancements to pa_goal: - - Include the goal name, source file location in the generated - rule so we can improve error messages. + - Include the source file location in the generated goal code so we + can improve error messages. - Implement some sort of tracing based on the above. + +Now that we have 'onrun' handlers, can we do the following on goal exit: + + - implicit memory_set + + - implicit check_target + +Check and enforce there's only a single target per goal. + +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.