From 36408a32d5526038ecda7c8b05ba844868a0ac5e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 19 Jun 2008 13:23:27 -0400 Subject: [PATCH] Fix test to expecte effects. Remove useless annotation. --- collects/tests/typed-scheme/succeed/priority-queue.scm | 2 +- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/priority-queue.scm b/collects/tests/typed-scheme/succeed/priority-queue.scm index bf04a2e4a3..e2d7e57c17 100644 --- a/collects/tests/typed-scheme/succeed/priority-queue.scm +++ b/collects/tests/typed-scheme/succeed/priority-queue.scm @@ -80,7 +80,7 @@ ;; FIXME -- too many annotations needed on cons (pdefine: (a) (insert* [xs : (list-of a)] [ps : (list-of number)] [pq : (priority-queue a)]) : (priority-queue a) - (make (heap:insert* (map #{#{cons @ number a} :: (number a -> (cons number a))} ps xs) (heap pq)))) + (make (heap:insert* (map #{cons @ number a} ps xs) (heap pq)))) (pdefine: (a) (delete-min [pq : (priority-queue a)]) : (priority-queue a) (let ([h (heap pq)]) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index eb1ca5ca5d..ea2444a39b 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -562,10 +562,9 @@ [tc-err (plambda: (a ...) ([z : String] . [w : Number ... a]) (apply (plambda: (b ...) ([x : Number] . [y : Number ... b]) x) 1 w))] - ;; instantiating non-dotted terms [tc-e (inst (plambda: (a) ([x : a]) x) Integer) - (-Integer . -> . -Integer)] + (-Integer . -> . -Integer : (list (make-Latent-Var-True-Effect)) (list (make-Latent-Var-False-Effect)))] [tc-e (inst (plambda: (a) [x : a *] (apply list x)) Integer) ((list) -Integer . ->* . (-lst -Integer))]