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

Make tr unit tests not run TR printer on test creation.

Browse Source 
This makes it so that only running a subset of the tests is faster.

original commit: ffe0aa4a5d8ca80696dac6db0a6e7c508174ac40
This commit is contained in:
Eric Dobson 2014-01-11 12:25:18 -08:00
parent fd0d7b1289
commit 97fbd7827e
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
View File

@ -8,7 +8,7 @@
(define-syntax-rule (fv-t ty elems ...)
(let ([ty* ty])
(test-check (format "~a" ty*)
(test-check (format "~a" 'ty)
equal?
(fv ty*)
(list (quote elems) ...))))

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/remove-intersect-tests.rkt
View File

@ -11,7 +11,7 @@
(syntax-case stx ()
[(_ [t1 t2 res] ...)
#'(test-suite "Tests for intersect"
(test-check (format "Overlap test: ~a ~a" t1 t2) (lambda (a b) (eq? (not (not a)) b)) (overlap t1 t2) res) ...)]))
(test-check (format "Overlap test: ~a ~a" 't1 't2) (lambda (a b) (eq? (not (not a)) b)) (overlap t1 t2) res) ...)]))
(define overlap-tests
(over-tests
@ -21,7 +21,7 @@
(syntax-case stx ()
[(_ [t1 t2 res] ...)
#'(test-suite "Tests for intersect"
(test-check (format "Restrict test: ~a ~a" t1 t2) type-compare? (restrict t1 t2) res) ...)]))
(test-check (format "Restrict test: ~a ~a" 't1 't2) type-compare? (restrict t1 t2) res) ...)]))
(define restrict-tests
@ -50,7 +50,7 @@
[(_ [t1 t2 res] ...)
(syntax/loc stx
(test-suite "Tests for remove"
(test-check (format "Remove test: ~a ~a" t1 t2) type-compare? (remove t1 t2) res) ...))]))
(test-check (format "Remove test: ~a ~a" 't1 't2) type-compare? (remove t1 t2) res) ...))]))
(define remove-tests
(remo-tests