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

most test suites pass

Browse Source 
svn: r13958

original commit: 8498619ab87c1b3f01a68cb8f5614ac982be7e4e
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-04 20:26:34 +00:00
parent 6cafdd4a5d
commit 8650f1ade7
6 changed files with 23 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/tests/typed-scheme/unit-tests/all-tests.ss
View File

@ -3,15 +3,16 @@
(require
"test-utils.ss"
"planet-requires.ss"
"typecheck-tests.ss"
"subtype-tests.ss" ;; done
"type-equal-tests.ss" ;; done
"remove-intersect-tests.ss" ;; done
"parse-type-tests.ss" ;; done
"type-annotation-test.ss" ;; done
"module-tests.ss"
"subst-tests.ss"
"infer-tests.ss")
;"typecheck-tests.ss" ;; doesn't compile yet
"subtype-tests.ss" ;; fail
"type-equal-tests.ss" ;; pass
"remove-intersect-tests.ss" ;; pass
"parse-type-tests.ss" ;; pass
"type-annotation-test.ss" ;; fail
"module-tests.ss" ;; pass
"subst-tests.ss" ;; pass
"infer-tests.ss" ;; pass
)
(require (r:infer infer infer-dummy)
(schemeunit))

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

@ -2,7 +2,7 @@
(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base))
(require (rep type-rep)
(r:infer infer)
(private type-effect-convenience union type-utils)
(types convenience union utils)
(schemeunit))

12
collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
View File

@ -3,14 +3,12 @@
(require (utils tc-utils)
(env type-alias-env type-environments type-name-env init-envs)
(rep type-rep)
(rename-in (private type-comparison parse-type subtype
union type-utils)
[Un t:Un])
(schemeunit))
(require (rename-in (private type-effect-convenience) [-> t:->])
(rename-in (types comparison subtype union utils convenience)
[Un t:Un] [-> t:->])
(private base-types base-types-extra)
(for-template (private base-types base-types-extra)))
(for-template (private base-types base-types-extra))
(private parse-type)
(schemeunit))
(provide parse-type-tests)

6
collects/tests/typed-scheme/unit-tests/remove-intersect-tests.ss
View File

@ -1,8 +1,8 @@
#lang scheme/base
(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base))
(require (rep type-rep)
(r:infer infer)
(private type-effect-convenience remove-intersect subtype union)
(r:infer infer infer-dummy)
(types convenience subtype union remove-intersect)
(schemeunit))
(define-syntax (restr-tests stx)
@ -11,6 +11,8 @@
#'(test-suite "Tests for intersect"
(test-check (format "Restrict test: ~a ~a" t1 t2) type-compare? (restrict t1 t2) res) ...)]))
(infer-param infer)
(define (restrict-tests)
(restr-tests
[N (Un N Sym) N]

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

@ -2,7 +2,7 @@
(require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base))
(require (rep type-rep)
(types type-utils type-abbrev)
(types utils abbrev)
(schemeunit))
(define-syntax-rule (s img var tgt result)

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

@ -2,7 +2,7 @@
(require "test-utils.ss" "planet-requires.ss")
(require (types subtype type-effect-convenience union)
(require (types subtype convenience union)
(rep type-rep)
(env init-envs type-environments)
(r:infer infer infer-dummy)
@ -55,7 +55,7 @@
[(-mu x (Un N (make-Listof x))) (-mu x (Un N Sym (make-Listof x)))]
[(-mu x (Un N (make-Listof x))) (-mu y (Un N Sym (make-Listof y)))]
;; a hard one
[-NE -Sexp]
[(-mu x (*Un N (-pair x (-pair Sym (-pair x (-val null)))))) -Sexp]
;; simple function types
((Univ . -> . N) (N . -> . Univ))
[(Univ Univ Univ . -> . N) (Univ Univ N . -> . N)]