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

New version of TR unit tests.

Browse Source 
original commit: fbf4d6c88633e6f695286540f2e7d3d2cfc79531
This commit is contained in:
Eric Dobson 2013-05-26 00:12:59 -07:00
parent 1873ecf918
commit c6cd43eeb9
2 changed files with 312 additions and 267 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/all-tests.rkt
View File

@ -2,7 +2,7 @@
(require
"test-utils.rkt"
"typecheck-tests.rkt" ;;fail
"typecheck-tests.rkt" ;;pass
"subtype-tests.rkt" ;; pass
"type-equal-tests.rkt" ;; pass

577
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

File diff suppressed because it is too large Load Diff