From c627637b21d6605fd57744ddd51423f7d4eb4679 Mon Sep 17 00:00:00 2001 From: wlott <wlott> Date: Tue, 18 Dec 1990 20:44:00 +0000 Subject: [PATCH] Cleaned up the structure defknowns. Use structure-index instead of index flushed the defknown for structurify, and added one for make-structure. --- compiler/generic/vm-fndb.lisp | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/compiler/generic/vm-fndb.lisp b/compiler/generic/vm-fndb.lisp index c13db4ccf..f8fe9d558 100644 --- a/compiler/generic/vm-fndb.lisp +++ b/compiler/generic/vm-fndb.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman (FAHLMAN@CMUC). ;;; ********************************************************************** ;;; -;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.31 1990/12/03 20:03:45 wlott Exp $ +;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-fndb.lisp,v 1.32 1990/12/18 20:44:00 wlott Exp $ ;;; ;;; This file defines the machine specific function signatures. ;;; @@ -97,13 +97,15 @@ (unsafe)) -(defknown structurify (simple-vector) structure +(defknown make-structure (structure-index t) structure (unsafe)) -(defknown structure-length (structure) index - (flushable)) -(defknown structure-ref (structure index) t +(defknown structure-type (structure) t + (foldable flushable)) +(defknown structure-length (structure) structure-index + (foldable flushable)) +(defknown structure-ref (structure structure-index) t (flushable)) -(defknown structure-set (structure index t) t +(defknown structure-set (structure structure-index t) t (unsafe)) -- GitLab