From 5f9dbd695a9a56de933e88b6216eb8d92d855237 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 4 Mar 2009 20:31:46 +0000 Subject: [PATCH] remove contract errors svn: r13959 original commit: f106e885510ee32b88328abc3f34f762b798ba2f --- collects/tests/typed-scheme/unit-tests/subtype-tests.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss index ff8a3b3a..1330dc30 100644 --- a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss @@ -113,10 +113,10 @@ (cl-> [() (-pair N (-v b))] [(N) (-pair N (-v b))])] - [(-poly (a) ((Un (make-Base 'foo #f) (-struct 'bar #f (list N a) #f #f #f values)) . -> . (-lst a))) - ((Un (make-Base 'foo #f) (-struct 'bar #f (list N (-pair N (-v a))) #f #f #f values)) . -> . (-lst (-pair N (-v a))))] - [(-poly (a) ((-struct 'bar #f (list N a) #f #f #f values) . -> . (-lst a))) - ((-struct 'bar #f (list N (-pair N (-v a))) #f #f #f values) . -> . (-lst (-pair N (-v a))))] + [(-poly (a) ((Un (make-Base 'foo #'dummy) (-struct 'bar #f (list N a))) . -> . (-lst a))) + ((Un (make-Base 'foo #'dummy) (-struct 'bar #f (list N (-pair N (-v a))))) . -> . (-lst (-pair N (-v a))))] + [(-poly (a) ((-struct 'bar #f (list N a)) . -> . (-lst a))) + ((-struct 'bar #f (list N (-pair N (-v a)))) . -> . (-lst (-pair N (-v a))))] [(-poly (a) (a . -> . (make-Listof a))) ((-v b) . -> . (make-Listof (-v b)))] [(-poly (a) (a . -> . (make-Listof a))) ((-pair N (-v b)) . -> . (make-Listof (-pair N (-v b))))]