suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix some redex bugs caught by drdr tests

Browse Source
This commit is contained in:
Robby Findler 2011-11-09 06:47:38 -06:00
parent b063604ab4
commit 3379fb8df6
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/redex/private/keyword-macros.rkt
View File

@ -1,6 +1,7 @@
#lang racket/base #lang racket/base
(require racket/match (require racket/match
racket/contract
(for-template racket/base racket/contract)) (for-template racket/base racket/contract))
(define (parse-kw-args formals actuals source form-name) (define (parse-kw-args formals actuals source form-name)

2
collects/redex/private/rg.rkt
View File

@ -915,7 +915,7 @@
(format "counterexample found after ~a~a:\n" (format "counterexample found after ~a~a:\n"
(format-attempts attempt) (format-attempts attempt)
(if source (format " with ~a" source) ""))) (if source (format " with ~a" source) "")))
(pretty-print term (current-output-port))) (pretty-write term (current-output-port)))
(make-counterexample term))))))))) (make-counterexample term)))))))))
(define (check-lhs-pats lang mf/rr prop attempts retries what show term-fix (define (check-lhs-pats lang mf/rr prop attempts retries what show term-fix