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

try to fix this test

Browse Source 
svn: r13999
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-06 23:37:05 +00:00
parent 2dbd82e587
commit d1ac259bcc
2 changed files with 3 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/all-tests.ss
View File

@ -4,7 +4,7 @@
"test-utils.ss"
"planet-requires.ss"
;"typecheck-tests.ss" ;; doesn't compile yet
"subtype-tests.ss" ;; fail
"subtype-tests.ss" ;; pass
"type-equal-tests.ss" ;; pass
"remove-intersect-tests.ss" ;; pass
"parse-type-tests.ss" ;; pass

3
collects/tests/typed-scheme/unit-tests/type-annotation-test.ss
View File

@ -1,7 +1,7 @@
#lang scheme/base
(require "test-utils.ss" "planet-requires.ss"
(for-syntax scheme/base))
(require (private type-annotation parse-type)
(require (private type-annotation parse-type base-types)
(types convenience)
(env type-environments type-name-env init-envs)
(utils tc-utils)
@ -18,6 +18,7 @@
(namespace-attach-module ons 'scheme/base ns)
(namespace-require 'scheme/base)
(namespace-require 'typed-scheme/private/prims)
(namespace-require 'typed-scheme/private/base-types)
(expand 'ann-stx))))
ty))