>From c1ac1a7324fb549d47ad73ad895472803704f201 Mon Sep 17 00:00:00 2001 From: Peter Bex Date: Thu, 18 Apr 2013 00:07:24 +0200 Subject: [PATCH 2/3] Fix types database entry for file-select to allow for #f and bare fixnums, too --- types.db | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/types.db b/types.db index 3424af0..01d84e2 100644 --- a/types.db +++ b/types.db @@ -1684,7 +1684,7 @@ (file-position (#(procedure #:clean #:enforce) file-position ((or port fixnum)) fixnum)) (file-read (#(procedure #:clean #:enforce) file-read (fixnum fixnum #!optional *) list)) (file-read-access? (#(procedure #:clean #:enforce) file-read-access? (string) boolean)) -(file-select (#(procedure #:clean #:enforce) file-select ((list-of fixnum) (list-of fixnum) #!optional fixnum) * *)) +(file-select (#(procedure #:clean #:enforce) file-select ((or (list-of fixnum) fixnum boolean) (or (list-of fixnum) fixnum boolean) #!optional fixnum) * *)) (file-size (#(procedure #:clean #:enforce) file-size ((or string fixnum)) number)) (file-stat (#(procedure #:clean #:enforce) file-stat ((or string fixnum) #!optional *) (vector-of number))) (file-test-lock (#(procedure #:clean #:enforce) file-test-lock (port #!optional fixnum *) boolean)) -- 1.8.0.1