From 01be0f1dd8f7a5149cabf34e74daa82de10ad127 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:58:29 +0000 Subject: [PATCH] rem{ove,q,v} and rem[qv]* svn: r12016 original commit: 72f8e1d3e6396b6447d0c254a999868760e4a21b --- collects/typed-scheme/private/base-env.ss | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 47ebf33d..77f5e1f5 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -121,9 +121,15 @@ [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)] - [((-lst a) (-lst b) (a b . -> . B)) (-lst b)]))] +[remove (-poly (a) (a (-lst a) . -> . (-lst a)))] +[remq (-poly (a) (a (-lst a) . -> . (-lst a)))] +[remv (-poly (a) (a (-lst a) . -> . (-lst a)))] +[remove* (-poly (a b) (cl-> [((-lst a) (-lst a)) (-lst a)] + [((-lst a) (-lst b) (a b . -> . B)) (-lst b)]))] +[remq* (-poly (a b) (cl-> [((-lst a) (-lst a)) (-lst a)] + [((-lst a) (-lst b) (a b . -> . B)) (-lst b)]))] +[remv* (-poly (a b) (cl-> [((-lst a) (-lst a)) (-lst a)] + [((-lst a) (-lst b) (a b . -> . B)) (-lst b)]))] [error (make-Function (list (make-arr null (Un))