From ee7c4dc30b161ff685d9385c1a2fa2c0c621c387 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:42:53 +0000 Subject: [PATCH] bad non-typo fix, go back, and change to Univ svn: r12010 original commit: d5028463f23e07e04c84950d32c11db4218e9301 --- 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 390034e6..1f396f12 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -225,7 +225,8 @@ [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 . -> . Univ) (-lst (-pair a b)) + . -> . (-opt (-pair a b))))] [list-ref (-poly (a) ((-lst a) -Integer . -> . a))] [positive? (-> N B)]