From 7319bd1884c4eedb079ca7df03d28f5c4a62f9b6 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Fri, 15 Apr 2011 04:57:01 -0500 Subject: [PATCH] Fixes test-->>E documentation --- collects/redex/redex.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 9a8e28e5dd..1696e861a7 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -1166,11 +1166,11 @@ step, using @racket[pred-expr] to determine equivalence. (test-results)] -@defform/subs[(test-->>∃ option ... rel-expr start-expr spec-expr) +@defform/subs[(test-->>∃ option ... rel-expr start-expr goal-expr) ([option (code:line #:steps steps-expr)]) #:contracts ([rel-expr reduction-relation?] [start-expr any/c] - [spec-expr (or/c (-> any/c any/c) + [goal-expr (or/c (-> any/c any/c) (not/c procedure?))] [steps-expr (or/c natural-number/c +inf.0)])]{ Tests to see if the term @racket[start-expr] reduces according to the reduction