X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=703fdb30735911f617ad4527020e257aa3212c7e;hb=4823297c200e5b1fcab240f06ce82c308b8ee7d7;hp=2baedb437b2b321de03b2820c178a65b525bdfcf;hpb=a8fa26a6e9804d3548f5bca9361a91345a689099;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index 2baedb4..703fdb3 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -1058,7 +1058,7 @@ (:start index) (:end sequence-end) (:junk-allowed t)) - (values (or pathname null) index) + (values (or pathname null) sequence-end) ()) (defknown merge-pathnames @@ -1162,6 +1162,8 @@ (defknown compile-file (filename &key + + ;; ANSI options (:output-file (or filename null ;; FIXME: This last case is a non-ANSI hack. @@ -1169,8 +1171,10 @@ (:verbose t) (:print t) (:external-format t) + + ;; extensions + (:trace-file t) (:block-compile t) - (:entry-points list) (:byte-compile (member t nil :maybe))) (values (or pathname null) boolean boolean)) @@ -1185,11 +1189,10 @@ (defknown describe (t &optional (or stream (member t nil))) (values)) (defknown inspect (t) (values)) - (defknown room (&optional (member t nil :default)) (values)) (defknown ed (&optional (or symbol cons filename) &key (:init t) (:display t)) t) -(defknown dribble (&optional filename &key (:if-exists t)) t) +(defknown dribble (&optional filename &key (:if-exists t)) (values)) (defknown apropos (stringable &optional package-designator t) (values)) (defknown apropos-list (stringable &optional package-designator t) list