From 98f3fd7854127dc6628ce783c3f3bc284ff593f0 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 9 Oct 2013 13:07:40 +0100 Subject: [PATCH] Update TODO. --- TODO | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/TODO b/TODO index f68c098..bf26732 100644 --- 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 -- 1.8.3.1