From cd157e51750982dcaf76165005ac85feee491141 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Oct 2008 15:37:16 +0000 Subject: [PATCH] capitalization typo svn: r12008 original commit: 1beabaf5e8b7d43894e7fdc9eb5bf7395f1b1c75 --- collects/typed-scheme/private/base-env.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 5e3e954e..d421b2e6 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -225,7 +225,7 @@ [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)]