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

Fix TR unit tests.

Browse Source 
Make new tests actually run as part of the unit tests.
Make them not broken.
Fix broken package dependencies.

original commit: 1d64e37c3b083a65db67e79865c09d24b4316855
This commit is contained in:
Eric Dobson 2014-06-01 10:14:37 -07:00
parent 4c6cf07310
commit 085b36180b
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
View File

@ -12,6 +12,7 @@
"redex-lib"
"htdp-lib"
"sandbox-lib"
"pconvert-lib"
"unstable-flonum-lib"
"unstable"
"scribble-lib"))

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

@ -37,5 +37,6 @@
"class-tests.rkt"
"class-util-tests.rkt"
"check-below-tests.rkt"
"init-env-tests.rkt"
"filter-tests.rkt"
"rep-tests.rkt")

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

@ -32,6 +32,6 @@
'(->acc (list (-lst -String)) -String `(,-car)))
(check-equal?
(convert (-mu x (-lst* Univ (-box x))))
'(make-Mu 'x (-lst* Univ (make-Box (make-F 'x)))))
'(make-Mu 'x (make-Pair Univ (make-Pair (make-Box (make-F 'x)) -Null))))
)
))