Update TODO.

diff --git a/TODO b/TODO
index f68c098..bf26732 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,13 +1,7 @@
-Enhancements to pa_goal:
+Now that we have 'onrun' handlers, can we do the following on goal
+exit:
 
- - Include the source file location in the generated goal code so we
-   can improve error messages.
-
- - Implement some sort of tracing based on the above.
-
-Now that we have 'onrun' handlers, can we do the following on goal exit:
-
- - implicit memory_set
+ - implicit memory_set via some sort of 'memoize' macro
 
  - implicit check_target