fix type of assq

svn: r11872
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-25 15:56:55 +00:00
parent 23db0aa366
commit 77e9b026b3

View File

@ -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))]