From bd6862fae43c2d2a35e99066c4aed2dcf805ebe9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 25 Sep 2008 15:56:55 +0000 Subject: [PATCH] fix type of assq svn: r11872 original commit: 77e9b026b3a50d6430b4120e40dce511a5e26e7e --- 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 aa4093b3..e862af4c 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -223,7 +223,7 @@ [string->path (-> -String -Path)] [file-exists? (-> -Pathlike B)] -[assq (-poly (a) (-> Univ (-lst (-pair Univ a)) a))] +[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))]