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

fix some requires

Browse Source 
svn: r13925

original commit: 6271f648c6c3b4b0b7220497f037a2783a5a2ce0
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-03 21:53:02 +00:00
parent 2901393e97
commit c28b5d1eb7
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,7 +2,7 @@
(require "test-utils.ss" "planet-requires.ss")
(require (private subtype type-effect-convenience union)
(require (types subtype type-effect-convenience union)
(rep type-rep)
(env init-envs type-environments)
(r:infer infer infer-dummy)

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

@ -2,7 +2,7 @@
(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base))
(require (rep type-rep)
(private type-comparison type-effect-convenience union subtype)
(types comparison type-abbrev)
(schemeunit))
(provide type-equal-tests)