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 Multiple definitions of goals:
  16
  17   let goal file_exists filename when filename `starts_with` "/foo" ->
  18     ...
  19
  20   let goal file_exists filename when filename `starts_with` "/bar" ->
  21     ...
  22
  23   - Might be implemented something like this:
  24     add_goal (`File_exists, fun patt -> raise Matches, fun patt -> expr)
  25     then when we run goals, we check them against all patterns (how?)
  26     and only if one matches to we run that function.  Multi-matches are
  27     not permitted.