From f39d4e33ede9b93895b885b19de7f82e6c093eaf Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 30 May 2008 16:20:33 +0000 Subject: [PATCH] Adding foldr. svn: r10048 --- 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 37a0617657..64655ac1b9 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -136,6 +136,7 @@ (-poly (a b c) (cl-> [((a b . -> . b) b (make-lst a)) b] [((a b c . -> . c) c (make-lst a) (make-lst b)) c]))] + [foldr (-poly (a b c) ((a b . -> . b) b (-lst a) . -> . b))] [filter (-poly (a) ((a . -> . B) (-lst a) . -> . (-lst a)))] [take (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [drop (-poly (a) ((-lst a) -Integer . -> . (-lst a)))]