X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-extensions.lisp;h=13638c4f834e755f45506a9f717ba7b7f017e9c4;hb=70c579379283da66f97906a0d62c8a5fc34e4dab;hp=cf747759d74f05b50491bcdfd74c7a62549b34c8;hpb=dfae0cd85d45a30d8687d6a366b608d10350872f;p=sbcl.git diff --git a/src/code/early-extensions.lisp b/src/code/early-extensions.lisp index cf74775..13638c4 100644 --- a/src/code/early-extensions.lisp +++ b/src/code/early-extensions.lisp @@ -641,6 +641,7 @@ ;;;; various operations on names ;;; Is NAME a legal function name? +(declaim (inline legal-fun-name-p)) (defun legal-fun-name-p (name) (values (valid-function-name-p name))) @@ -796,29 +797,20 @@ (%failed-aver ,(format nil "~A" expr)))) (defun %failed-aver (expr-as-string) + ;; hackish way to tell we're in a cold sbcl and output the + ;; message before signallign error, as it may be this is too + ;; early in the cold init. + (when (find-package "SB!C") + (fresh-line) + (write-line "failed AVER:") + (write-line expr-as-string) + (terpri)) (bug "~@" expr-as-string)) -;;; We need a definition of BUG here for the host compiler to be able -;;; to deal with BUGs in sbcl. This should never affect an end-user, -;;; who will pick up the definition that signals a CONDITION of -;;; condition-class BUG; however, this is not defined on the host -;;; lisp, but for the target. SBCL developers sometimes trigger BUGs -;;; in their efforts, and it is useful to get the details of the BUG -;;; rather than an undefined function error. - CSR, 2002-04-12 -#+sb-xc-host (defun bug (format-control &rest format-arguments) - (error 'simple-error - :format-control "~@< ~? ~:@_~?~:>" - :format-arguments `(,format-control - ,format-arguments - "~@.~:@>" - ()))) + (error 'bug + :format-control format-control + :format-arguments format-arguments)) (defmacro enforce-type (value type) (once-only ((value value)) @@ -1097,7 +1089,7 @@ which can be found at .~:@>" (let ((it ,test)) (declare (ignorable it)),@body) (acond ,@rest)))))) -;;; (binding* ({(name initial-value [flag])}*) body) +;;; (binding* ({(names initial-value [flag])}*) body) ;;; FLAG may be NIL or :EXIT-IF-NULL ;;; ;;; This form unites LET*, MULTIPLE-VALUE-BIND and AWHEN. @@ -1115,7 +1107,15 @@ which can be found at .~:@>" (symbol (values (list names) nil)) (list - (values names nil))) + (collect ((new-names) (ignorable)) + (dolist (name names) + (when (eq name nil) + (setq name (gensym)) + (ignorable name)) + (new-names name)) + (values (new-names) + (when (ignorable) + `((declare (ignorable ,@(ignorable))))))))) (setq form `(multiple-value-bind ,names ,initial-value ,@declarations @@ -1166,3 +1166,17 @@ which can be found at .~:@>" (*read-suppress* *read-suppress*) (*readtable* *readtable*)) (funcall function))) + +;;; Bind a few "potentially dangerous" printer control variables to +;;; safe values, respecting current values if possible. +(defmacro with-sane-io-syntax (&body forms) + `(call-with-sane-io-syntax (lambda () ,@forms))) + +(defun call-with-sane-io-syntax (function) + (declare (type function function)) + (macrolet ((true (sym) + `(and (boundp ',sym) ,sym))) + (let ((*print-readably* nil) + (*print-level* (or (true *print-level*) 6)) + (*print-length* (or (true *print-length*) 12))) + (funcall function))))