From 684b5c1c2bde35677ad552312caac2707ed8faef Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 4 Mar 2008 23:09:45 +0000 Subject: [PATCH] Remove tool. Improve error message source. Add `build-list' Don't give internal error when inference returns a bad result. svn: r8885 original commit: f7d6b01d261521f8de4f572bd1b4644ea997dae2 --- collects/typed-scheme/private/base-env.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 514259e8..5891dd3e 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -189,6 +189,7 @@ [vector-ref (make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-v a)))] [build-vector (-poly (a) (N (N . -> . a) . -> . (make-Vector a)))] + [build-list (-poly (a) (N (N . -> . a) . -> . (-lst a)))] [reverse (make-Poly '(a) (-> (make-lst (-v a)) (make-lst (-v a))))] [append (-poly (a) (->* (list) (-lst a) (-lst a)))] [length (make-Poly '(a) (-> (make-lst (-v a)) N))]