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

Fix TR unit tests

Browse Source 
Was broken by d4963473adecf771a16f49120f00fd9296acc6ff

original commit: 672e90988096af4fabd84e9a63fa4b92272ed64b
This commit is contained in:
Asumu Takikawa 2013-09-07 18:14:25 -04:00
parent 053ba8c20a
commit cb2673cc07
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt
View File

@ -118,11 +118,11 @@
[(-values (list -Number)) (-values (list Univ))]
[(-poly (b) ((Un (make-Base 'foo #'dummy values #'values #f)
[(-poly (b) ((Un (make-Base 'foo #'dummy values #f)
(-struct #'bar #f
(list (make-fld -Number #'values #f) (make-fld b #'values #f))))
. -> . (-lst b)))
((Un (make-Base 'foo #'dummy values #'values #f) (-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))))
((Un (make-Base 'foo #'dummy values #f) (-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))))
. -> . (-lst (-pair -Number (-v a))))]
[(-poly (b) ((-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld b #'values #f))) . -> . (-lst b)))
((-struct #'bar #f (list (make-fld -Number #'values #f) (make-fld (-pair -Number (-v a)) #'values #f))) . -> . (-lst (-pair -Number (-v a))))]

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

@ -7,7 +7,7 @@
(provide type-equal-tests)
(define (-base x) (make-Base x #'dummy values #'values #f))
(define (-base x) (make-Base x #'dummy values #f))
(define-syntax (te-tests stx)