From 04771253544b86634de04bfa9408f011c3c010f5 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Fri, 16 Jul 2010 10:02:55 -0500 Subject: [PATCH] Documents #:print? keyword for check-reduction-relation and check-metafunction --- collects/redex/redex.scrbl | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 8874339d38..a50fafd936 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -1294,10 +1294,12 @@ and the @racket[exn:fail:redex:test-term] component contains the term that induc @defform/subs[(check-reduction-relation relation property kw-args ...) ([kw-arg (code:line #:attempts attempts-expr) - (code:line #:retries retries-expr)]) + (code:line #:retries retries-expr) + (code:line #:print? print?-expr)]) #:contracts ([property (-> any/c any/c)] [attempts-expr natural-number/c] - [retries-expr natural-number/c])]{ + [retries-expr natural-number/c] + [print?-expr any/c])]{ Tests @racket[relation] as follows: for each case of @racket[relation], @racket[check-reduction-relation] generates @racket[attempts] random terms that match that case's left-hand side and applies @racket[property] @@ -1311,10 +1313,12 @@ when @racket[relation] is a relation on @racket[L] with @racket[n] rules.} @defform/subs[(check-metafunction metafunction property kw-args ...) ([kw-arg (code:line #:attempts attempts-expr) - (code:line #:retries retries-expr)]) + (code:line #:retries retries-expr) + (code:line #:print? print?-expr)]) #:contracts ([property (-> (listof any/c) any/c)] [attempts-expr natural-number/c] - [retries-expr natural-number/c])]{ + [retries-expr natural-number/c] + [print?-expr any/c])]{ Like @racket[check-reduction-relation] but for metafunctions. @racket[check-metafunction] calls @racket[property] with lists containing arguments to the metafunction.}