TODO

   1 Enhancements to pa_goal:
   2
   3  - Include the source file location in the generated goal code so we
   4    can improve error messages.
   5
   6  - Implement some sort of tracing based on the above.
   7
   8 Now that we have 'onrun' handlers, can we do the following on goal exit:
   9
  10  - implicit memory_set
  11
  12  - implicit check_target
  13
  14 Check and enforce there's only a single target per goal.
  15
  16 Multiple definitions of goals:
  17
  18   let goal file_exists filename when filename `starts_with` "/foo" ->
  19     ...
  20
  21   let goal file_exists filename when filename `starts_with` "/bar" ->
  22     ...
  23
  24   - Might be implemented something like this:
  25     add_goal (`File_exists, fun patt -> raise Matches, fun patt -> expr)
  26     then when we run goals, we check them against all patterns (how?)
  27     and only if one matches to we run that function.  Multi-matches are
  28     not permitted.