From e114ca005e53aa8f35b118f990922b9ce46fd350 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:36:59 +0000 Subject: [PATCH] * Grouped the ass* functions * Made them all use -opt svn: r12007 --- collects/typed-scheme/private/base-env.ss | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 9b837f1e4e..5e3e954e08 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -211,8 +211,6 @@ [string->path (-> -String -Path)] [file-exists? (-> -Pathlike B)] -[assq (-poly (a b) (a (-lst (-pair a b)) . -> . (Un (-pair a b) (-val #f))))] - [build-path ((list -Pathlike*) -Pathlike* . ->* . -Path)] [string->number (-> -String (-opt N))] [with-input-from-file @@ -224,9 +222,10 @@ [random (cl-> [(-Integer) -Integer] [() N])] +[assq (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] +[assv (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] -[assf (-poly (a b) - ((a . -> . B) (-lst (-pair a b)) . -> . (-opt (-pair a b))))] +[assf (-poly (a b) ((a . -> . B) (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [list-ref (-poly (a) ((-lst a) -Integer . -> . a))] [positive? (-> N B)]