X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fknownfun.lisp;h=5a30ffc45583e107414caed4fbc6400669065deb;hb=dfa55a883f94470267b626dae77ce7e7dfac3df6;hp=d4929cc14c6751df966b8b30b6cf2f7b97e88a0a;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git diff --git a/src/compiler/knownfun.lisp b/src/compiler/knownfun.lisp index d4929cc..5a30ffc 100644 --- a/src/compiler/knownfun.lisp +++ b/src/compiler/knownfun.lisp @@ -14,6 +14,8 @@ (in-package "SB!C") +(/show0 "knownfun.lisp 17") + ;;; IR1 boolean function attributes ;;; ;;; There are a number of boolean attributes of known functions which we like @@ -116,18 +118,18 @@ ;;;; interfaces to defining macros -;;; The TRANSFORM structure represents an IR1 transform. -(defstruct transform - ;; The function-type which enables this transform. +;;; an IR1 transform +(defstruct (transform (:copier nil)) + ;; the function-type which enables this transform (type (required-argument) :type ctype) - ;; The transformation function. Takes the Combination node and Returns a + ;; the transformation function. Takes the COMBINATION node and returns a ;; lambda, or throws out. (function (required-argument) :type function) - ;; String used in efficency notes. + ;; string used in efficency notes (note (required-argument) :type string) - ;; T if we should spew a failure note even if speed=brevity. + ;; T if we should emit a failure note even if SPEED=INHIBIT-WARNINGS. (important nil :type (member t nil)) - ;; Usable for byte code, native code, or both. + ;; usable for byte code, native code, or both (when :native :type (member :byte :native :both))) (defprinter (transform) type note important when) @@ -233,3 +235,5 @@ (let ((cont (nth (1- n) (combination-args call)))) (when (and cont (constant-continuation-p cont)) (specifier-type (continuation-value cont)))))) + +(/show0 "knownfun.lisp end of file")