From 09289f5df78774500dc3277651bc62480c4af906 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 6 Apr 2022 08:03:47 -0700 Subject: [PATCH] better error --- quad2/pipeline.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/quad2/pipeline.rkt b/quad2/pipeline.rkt index 9fd23412..72af49c9 100644 --- a/quad2/pipeline.rkt +++ b/quad2/pipeline.rkt @@ -39,10 +39,10 @@ (λ (ARG OTHER-ARG ...) (when (current-use-preconditions?) (unless (PRECOND-PROC ARG) - (raise-argument-error 'PASS-NAME (format "~a" 'PRECOND-PROC) ARG))) + (raise-argument-error 'PASS-NAME (format "~a (as precondition)" 'PRECOND-PROC) ARG))) (define res (let () EXPRS ...)) (when (current-use-postconditions?) (unless (POSTCOND-PROC res) - (raise-argument-error 'PASS-NAME (format "~a" 'POSTCOND-PROC) res))) + (raise-argument-error 'PASS-NAME (format "~a (as postcondition)" 'POSTCOND-PROC) res))) res)) 'PASS-NAME))))])) \ No newline at end of file