From 672e90988096af4fabd84e9a63fa4b92272ed64b Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 7 Sep 2013 18:14:25 -0400 Subject: [PATCH] Fix TR unit tests Was broken by d4963473adecf771a16f49120f00fd9296acc6ff --- .../tests/typed-racket/unit-tests/subtype-tests.rkt | 4 ++-- .../tests/typed-racket/unit-tests/type-equal-tests.rkt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt index e8087298a2..8cbb3da411 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt @@ -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))))] diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt index 85ec5738cd..a6ed32281d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-equal-tests.rkt @@ -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)