From 3379fb8df6cfab265c68912ae76f3a4314cf6309 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 9 Nov 2011 06:47:38 -0600 Subject: [PATCH] fix some redex bugs caught by drdr tests --- collects/redex/private/keyword-macros.rkt | 1 + collects/redex/private/rg.rkt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/keyword-macros.rkt b/collects/redex/private/keyword-macros.rkt index ffe6ef802a..091b842d8f 100644 --- a/collects/redex/private/keyword-macros.rkt +++ b/collects/redex/private/keyword-macros.rkt @@ -1,6 +1,7 @@ #lang racket/base (require racket/match + racket/contract (for-template racket/base racket/contract)) (define (parse-kw-args formals actuals source form-name) diff --git a/collects/redex/private/rg.rkt b/collects/redex/private/rg.rkt index 598f92f230..0d7c740332 100644 --- a/collects/redex/private/rg.rkt +++ b/collects/redex/private/rg.rkt @@ -915,7 +915,7 @@ (format "counterexample found after ~a~a:\n" (format-attempts attempt) (if source (format " with ~a" source) ""))) - (pretty-print term (current-output-port))) + (pretty-write term (current-output-port))) (make-counterexample term))))))))) (define (check-lhs-pats lang mf/rr prop attempts retries what show term-fix