From e87cb50bd20a1997b1ddaa1ce02de51ce493df2a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 16:16:18 +0000 Subject: [PATCH] list-tail svn: r12017 original commit: c08e09ae6ca4cdcffb3bd79d6f5b01c3f752fbe6 --- 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 77f5e1f5..32c48710 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -235,7 +235,8 @@ [assf (-poly (a b) ((a . -> . Univ) (-lst (-pair a b)) . -> . (-opt (-pair a b))))] -[list-ref (-poly (a) ((-lst a) -Integer . -> . a))] +[list-ref (-poly (a) ((-lst a) -Integer . -> . a))] +[list-tail (-poly (a) ((-lst a) -Integer . -> . (-lst a)))] [positive? (-> N B)] [negative? (-> N B)] [odd? (-> N B)]