Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.
[goaljobs.git] / 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.