From 370535a84bd7de7333284ee387e5b91630bc3da4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 29 Jan 2009 15:58:03 +0000 Subject: [PATCH] fixed plural svn: r13314 --- collects/redex/private/rg.ss | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/redex/private/rg.ss b/collects/redex/private/rg.ss index 82b4d2b57d..b3d6657a4c 100644 --- a/collects/redex/private/rg.ss +++ b/collects/redex/private/rg.ss @@ -223,8 +223,10 @@ To do a better job of not generating programs with free variables, (define (generate/pred name gen pred) (let retry ([remaining generation-retries]) (if (zero? remaining) - (error 'generate "unable to generate pattern ~s in ~s attempts" - name generation-retries) + (error 'generate "unable to generate pattern ~s in ~a attempt~a" + name + generation-retries + (if (= generation-retries 1) "" "s")) (let-values ([(term state) (gen)]) (if (pred term (state-env state)) (values term state) @@ -747,8 +749,9 @@ To do a better job of not generating programs with free variables, (loop (sub1 remaining)) (begin (fprintf (current-output-port) - "counterexample found after ~a attempts~a:\n" + "counterexample found after ~a attempt~a~a:\n" attempt + (if (= attempt 1) "" "s") (if source (format " with ~a" source) "")) (pretty-print term (current-output-port)) #f)))))))