Skip to content

Commit 8c40bb7

Browse files
committed
Fix for DrDr-style testing
1 parent aa79884 commit 8c40bb7

2 files changed

Lines changed: 14 additions & 5 deletions

File tree

typed/debug/test/typed-racket.rkt

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,9 @@
77

88
(define x 5)
99

10-
(check-equal? (ann (report x) : Positive-Byte) 5)
11-
)
10+
(define p (open-output-string))
11+
12+
(parameterize ([current-error-port p])
13+
(check-equal? (ann (report x) : Positive-Byte) 5))
14+
15+
(check-equal? (get-output-string p) "x = 5\n"))
Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
#lang debug typed/racket
22
(require typed/debug/report)
33

4-
(define x 2)
5-
(define (f) #R x #R (+ x 4))
6-
#R (f)
4+
(module+ test
5+
(require typed/rackunit)
6+
(define p (open-output-string))
7+
(parameterize ([current-error-port p])
8+
(define x 2)
9+
(define (f) #R x #R (+ x 4))
10+
#R (f))
11+
(check-equal? (get-output-string p) "x = 2\n(+ x 4) = 6\n(f) = 6\n"))

0 commit comments

Comments
 (0)