From c2b7caa66d7e31c4ee2b7a2dba45983cb9617ec6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 3 Jun 2010 17:30:23 -0400 Subject: [PATCH] The inference engine doesn't need this annotation anymore. original commit: e235c837b0d20538ca4c0fc024c18ddb30ac2ae4 --- collects/tests/typed-scheme/succeed/priority-queue.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/priority-queue.scm b/collects/tests/typed-scheme/succeed/priority-queue.scm index e2d7e57c..091a284d 100644 --- a/collects/tests/typed-scheme/succeed/priority-queue.scm +++ b/collects/tests/typed-scheme/succeed/priority-queue.scm @@ -76,7 +76,7 @@ (error "priority queue empty")))) (pdefine: (a) (insert [x : a] [p : number] [pq : (priority-queue a)]) : (priority-queue a) - (make (heap:insert (#{cons :: (case-lambda (a (list-of a) -> (list-of a)) (number a -> (cons number a)))} p x) (heap pq)))) + (make (heap:insert (cons p x) (heap pq)))) ;; 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)