From d89c251c47daca48e459127a78263ef864d53a74 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Thu, 22 May 2008 16:41:04 +0000 Subject: [PATCH] Adding the type for the last function. svn: r9929 original commit: 02f6018788549aab1cf48bcd7ce615cf934e13bf --- collects/typed-scheme/private/base-env.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 16f29c66..0d11d6a6 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -3,7 +3,7 @@ ;; these are libraries providing functions we add types to that are not in scheme/base (require "extra-procs.ss" - (only-in scheme/list cons? take drop add-between) + (only-in scheme/list cons? take drop add-between last) '#%paramz (only-in scheme/match/patterns match:error)) @@ -136,6 +136,7 @@ [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)))] + [last (-poly (a) ((-lst a) . -> . a))] [add-between (-poly (a b) ((-lst a) b . -> . (-lst (Un a b))))] [remove* (-poly (a b) (cl-> [((-lst a) (-lst a)) (-lst a)]