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

fix to work w/ racket renamings

Browse Source 
original commit: b308a52240c9edcdd0c51bad5612314d44894b51
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-30 16:04:03 -04:00
commit 3bfbc7da7f
15 changed files with 17 additions and 17 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 rktunit rktunit/text-ui
(require racunit racunit/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 RktUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RacUnit 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 RktUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RacUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

2
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 RktUnit doesn't work in Typed Scheme (yet)
;; Simple check function as RacUnit doesn't work in Typed Scheme (yet)
(define (check f a b)
(if (f a b)
#t

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) rktunit)
(r:infer infer infer-dummy) racunit)
(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)
rktunit)
racunit)
(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)
rktunit)
racunit)

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)
rktunit)
racunit)
(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)
rktunit)
racunit)
(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)
rktunit)
racunit)
(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)
rktunit
racunit
(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)
rktunit rktunit/text-ui)
racunit racunit/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 'rktunit/private/gui/gui 'make-gui-runner))
(((dynamic-require 'racunit/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)
rktunit)
racunit)
(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
racunit
syntax/parse
(for-syntax (utils tc-utils)
(typecheck typechecker)

4
collects/typed/framework/framework.rkt
View File

@ -34,9 +34,9 @@
[gui-utils:ok/cancel-buttons
((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))])
(require/typed/provide "prefs-contract.ss"
(require/typed/provide "prefs-contract.rkt"
[preferences:get-drracket:large-letters-font (-> (U #f (Pair String Integer)))])
(require (only-in "prefs-contract.ss" preferences:get))
(require (only-in "prefs-contract.rkt" preferences:get))
(provide preferences:get)