TODO

   1 Enhancements to pa_goal:
   2
   3  - Include the goal name, source file location in the generated
   4    rule so we can improve error messages.
   5
   6  - Implement some sort of tracing based on the above.
   7
   8 It should be possible to register goal "atexit [of goal]" handlers.
   9 These only run when the goal successfully exits, allowing:
  10
  11  - implicit memory_set
  12
  13  - implicit check_target
  14
  15 Check and enforce there's only a single target per goal.
  16
  17 Multiple definitions of goals:
  18
  19   let goal file_exists filename when filename `starts_with` "/foo" ->
  20     ...
  21
  22   let goal file_exists filename when filename `starts_with` "/bar" ->
  23     ...
  24
  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
  29     not permitted.