From 1f15f42934a141aefebe8db4e2eb2fb91fd28221 Mon Sep 17 00:00:00 2001 From: dtc <dtc> Date: Sun, 9 Jul 2000 16:08:56 +0000 Subject: [PATCH] Correct the declared result types of a few functions: o Close does not return a stream, declare is as type t. o Disassemble does not return values, declare it as (values). o Inspect returns an object, declare it as type t. o Room does not return a value, declare it as (values). o Dribble does not return a value, declare it as (values). --- compiler/fndb.lisp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/fndb.lisp b/compiler/fndb.lisp index cbec1bbf4..8c127b9b5 100644 --- a/compiler/fndb.lisp +++ b/compiler/fndb.lisp @@ -5,7 +5,7 @@ ;;; Carnegie Mellon University, and has been placed in the public domain. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/fndb.lisp,v 1.86 2000/02/25 15:00:16 dtc Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/fndb.lisp,v 1.87 2000/07/09 16:08:56 dtc Exp $") ;;; ;;; ********************************************************************** ;;; @@ -837,7 +837,7 @@ (defknown stream-element-type (stream) type-specifier (movable foldable flushable)) (defknown (output-stream-p input-stream-p) (stream) boolean (movable foldable flushable)) -(defknown close (stream &key (:abort t)) stream ()) +(defknown close (stream &key (:abort t)) t ()) ;;;; In the "Input/Output" chapter: @@ -1076,19 +1076,19 @@ (defknown disassemble (callable &key (:stream stream) (:backend backend) (:use-labels t)) - void) + (values)) (defknown documentation (t symbol) (or string null) (flushable)) (defknown describe (t &optional (or stream (member t nil))) (values)) -(defknown inspect (t) (values)) +(defknown inspect (t) t) -(defknown room (&optional (member t nil :default)) void) +(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 packagelike t) (values)) (defknown apropos-list (stringable &optional packagelike t) list (flushable)) -- GitLab