1 Enhancements to pa_goal:
3 - Include the goal name, source file location in the generated
4 rule so we can improve error messages.
6 - Implement some sort of tracing based on the above.
8 It should be possible to register goal "atexit [of goal]" handlers.
9 These only run when the goal successfully exits, allowing:
13 - implicit check_target
15 Check and enforce there's only a single target per goal.
17 Multiple definitions of goals:
19 let goal file_exists filename when filename `starts_with` "/foo" ->
22 let goal file_exists filename when filename `starts_with` "/bar" ->
25 - Might be implemented something like this:
26 add_goal (`File_exists, fun patt -> raise Matches, fun patt -> expr)
27 then when we run goals, we check them against all patterns (how?)
28 and only if one matches to we run that function. Multi-matches are