DrDr repairs.
original commit: 4c56a94eb11b194060b43d39e5e444454ab41acf
This commit is contained in:
parent
0e17e02751
commit
5334a847b1
|
@ -16,12 +16,15 @@
|
|||
"contract-tests.rkt"
|
||||
|
||||
(r:infer infer infer-dummy)
|
||||
racket/runtime-path
|
||||
rackunit rackunit/text-ui)
|
||||
|
||||
(provide unit-tests)
|
||||
|
||||
(infer-param infer)
|
||||
|
||||
(define-runtime-path special "special-env-typecheck-tests.rkt")
|
||||
|
||||
(define unit-tests
|
||||
(make-test-suite
|
||||
"Unit Tests"
|
||||
|
@ -38,7 +41,7 @@
|
|||
fv-tests
|
||||
contract-tests
|
||||
;; this uses dynamic require because the file fails to compile when there's a test failure
|
||||
(λ () ((dynamic-require "unit-tests/special-env-typecheck-tests.rkt" 'typecheck-special-tests))))])
|
||||
(λ () ((dynamic-require special 'typecheck-special-tests))))])
|
||||
(f))))
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user