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

Renaming schemeunit to rktunit and adding compat layer

Browse Source 
original commit: f70ffca75665f86a380c3df846c8a63b1e941b8b
This commit is contained in:
Jay McCarthy 2010-04-29 15:00:02 -06:00
commit 331f098693
14 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/main.rkt
View File

@ -2,7 +2,7 @@
(provide go go/text)
(require schemeunit schemeunit/text-ui
(require rktunit rktunit/text-ui
mzlib/etc scheme/port
compiler/compiler
scheme/match

2
collects/tests/typed-scheme/succeed/fixnum.rkt
View File

@ -10,7 +10,7 @@
;; really badly wrong.
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

2
collects/tests/typed-scheme/succeed/flonum.rkt
View File

@ -5,7 +5,7 @@
scheme/unsafe/ops)
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

4
collects/tests/typed-scheme/succeed/flvector.rkt
View File

@ -11,7 +11,7 @@
;; really badly wrong.
(: check (All (a) ((a a -> Boolean) a a -> Boolean)))
;; Simple check function as SchemeUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RktUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t
@ -40,4 +40,4 @@
(let ([v (flvector 1. 2. 3.)])
(unsafe-flvector-set! v 0 10.)
(unsafe-flvector-ref v 0))
10.)
10.)

2
collects/tests/typed-scheme/unit-tests/all-tests.rkt
View File

@ -12,7 +12,7 @@
"subst-tests.ss" ;; pass
"infer-tests.ss" ;; pass
"contract-tests.ss"
(r:infer infer infer-dummy) schemeunit)
(r:infer infer infer-dummy) rktunit)
(provide unit-tests)

2
collects/tests/typed-scheme/unit-tests/contract-tests.rkt
View File

@ -7,7 +7,7 @@
(rep type-rep filter-rep object-rep)
(types utils union convenience)
(utils tc-utils)
schemeunit)
rktunit)
(define-syntax-rule (t e)
(test-not-exn (format "~a" e) (lambda () (type->contract e (lambda _ (error "type could not be converted to contract"))))))

2
collects/tests/typed-scheme/unit-tests/infer-tests.rkt
View File

@ -3,7 +3,7 @@
(require (rep type-rep)
(r:infer infer)
(types convenience union utils abbrev)
schemeunit)
rktunit)

2
collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt
View File

@ -8,7 +8,7 @@
(private base-types-new base-types-extra colon)
(for-template (private base-types-new base-types-extra base-env colon))
(private parse-type)
schemeunit)
rktunit)
(provide parse-type-tests)

2
collects/tests/typed-scheme/unit-tests/remove-intersect-tests.rkt
View File

@ -3,7 +3,7 @@
(rep type-rep)
(r:infer infer infer-dummy)
(types convenience subtype union remove-intersect)
schemeunit)
rktunit)
(define-syntax (over-tests stx)
(syntax-case stx ()

2
collects/tests/typed-scheme/unit-tests/subst-tests.rkt
View File

@ -3,7 +3,7 @@
(require "test-utils.ss" (for-syntax scheme/base)
(rep type-rep)
(types utils abbrev)
schemeunit)
rktunit)
(define-syntax-rule (s img var tgt result)
(test-eq? "test" (substitute img 'var tgt) result))

2
collects/tests/typed-scheme/unit-tests/subtype-tests.rkt
View File

@ -5,7 +5,7 @@
(rep type-rep)
(env init-envs type-environments)
(r:infer infer infer-dummy)
schemeunit
rktunit
(for-syntax scheme/base))
(provide subtype-tests)

4
collects/tests/typed-scheme/unit-tests/test-utils.rkt
View File

@ -7,7 +7,7 @@
typed-scheme/utils/utils
(for-syntax scheme/base)
(types comparison utils)
schemeunit schemeunit/text-ui)
rktunit rktunit/text-ui)
(provide private typecheck (rename-out [infer r:infer]) utils env rep types)
@ -20,7 +20,7 @@
(run-tests (mk-suite ts)))
(define (test/gui suite)
(((dynamic-require 'schemeunit/private/gui/gui 'make-gui-runner))
(((dynamic-require 'rktunit/private/gui/gui 'make-gui-runner))
suite))
(define (run/gui . ts)

2
collects/tests/typed-scheme/unit-tests/type-equal-tests.rkt
View File

@ -3,7 +3,7 @@
(require "test-utils.ss" (for-syntax scheme/base)
(rep type-rep)
(types comparison abbrev union)
schemeunit)
rktunit)
(provide type-equal-tests)

2
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -17,7 +17,7 @@
(utils tc-utils utils)
unstable/mutated-vars
(env type-name-env type-environments init-envs)
schemeunit
rktunit
syntax/parse
(for-syntax (utils tc-utils)
(typecheck typechecker)