X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fsysmacs.lisp;h=ab967520c956b268de93909bdf89d4b71e877412;hb=4f7211e1d005696dcd29d8322fa531992ea8fed4;hp=f1126806220ead82c85a3cf18bf3934bbcb68030;hpb=a8fa26a6e9804d3548f5bca9361a91345a689099;p=sbcl.git

diff --git a/src/code/sysmacs.lisp b/src/code/sysmacs.lisp
index f112680..ab96752 100644
--- a/src/code/sysmacs.lisp
+++ b/src/code/sysmacs.lisp
@@ -10,47 +10,7 @@
 ;;;; files for more information.
 
 (in-package "SB!IMPL")
-
-;;; This checks to see whether the array is simple and the start and
-;;; end are in bounds. If so, it proceeds with those values.
-;;; Otherwise, it calls %WITH-ARRAY-DATA. Note that %WITH-ARRAY-DATA
-;;; may be further optimized.
-;;;
-;;; Given any ARRAY, bind DATA-VAR to the array's data vector and
-;;; START-VAR and END-VAR to the start and end of the designated
-;;; portion of the data vector. SVALUE and EVALUE are any start and
-;;; end specified to the original operation, and are factored into the
-;;; bindings of START-VAR and END-VAR. OFFSET-VAR is the cumulative
-;;; offset of all displacements encountered, and does not include
-;;; SVALUE.
-(defmacro with-array-data (((data-var array &key offset-var)
-			    (start-var &optional (svalue 0))
-			    (end-var &optional (evalue nil)))
-			   &body forms)
-  (once-only ((n-array array)
-	      (n-svalue `(the index ,svalue))
-	      (n-evalue `(the (or index null) ,evalue)))
-    `(multiple-value-bind (,data-var
-			   ,start-var
-			   ,end-var
-			   ,@(when offset-var `(,offset-var)))
-	 (if (not (array-header-p ,n-array))
-	     (let ((,n-array ,n-array))
-	       (declare (type (simple-array * (*)) ,n-array))
-	       ,(once-only ((n-len `(length ,n-array))
-			    (n-end `(or ,n-evalue ,n-len)))
-		  `(if (<= ,n-svalue ,n-end ,n-len)
-		       ;; success
-		       (values ,n-array ,n-svalue ,n-end 0)
-		       ;; failure: Make a NOTINLINE call to
-		       ;; %WITH-ARRAY-DATA with our bad data
-		       ;; to cause the error to be signalled.
-		       (locally
-			 (declare (notinline %with-array-data))
-			 (%with-array-data ,n-array ,n-svalue ,n-evalue)))))
-	     (%with-array-data ,n-array ,n-svalue ,n-evalue))
-       ,@forms)))
-
+
 #!-gengc
 (defmacro without-gcing (&rest body)
   #!+sb-doc
@@ -67,13 +27,13 @@
   "Executes the forms in the body without doing a garbage collection."
   `(without-interrupts ,@body))
 
-;;; Eof-Or-Lose is a useful macro that handles EOF.
+;;; EOF-OR-LOSE is a useful macro that handles EOF.
 (defmacro eof-or-lose (stream eof-error-p eof-value)
   `(if ,eof-error-p
        (error 'end-of-file :stream ,stream)
        ,eof-value))
 
-;;; These macros handle the special cases of t and nil for input and
+;;; These macros handle the special cases of T and NIL for input and
 ;;; output streams.
 ;;;
 ;;; FIXME: Shouldn't these be functions instead of macros?
@@ -82,7 +42,7 @@
     `(let ((,svar ,stream))
        (cond ((null ,svar) *standard-input*)
 	     ((eq ,svar t) *terminal-io*)
-	     (T ,@(if check-type `((check-type ,svar ,check-type)))
+	     (T ,@(when check-type `((enforce-type ,svar ,check-type)))
 		#!+high-security
 		(unless (input-stream-p ,svar)
 		  (error 'simple-type-error
@@ -96,7 +56,7 @@
     `(let ((,svar ,stream))
        (cond ((null ,svar) *standard-output*)
 	     ((eq ,svar t) *terminal-io*)
-	     (T ,@(if check-type `((check-type ,svar ,check-type)))
+	     (T ,@(when check-type `((check-type ,svar ,check-type)))
 		#!+high-security
 		(unless (output-stream-p ,svar)
 		  (error 'simple-type-error
@@ -106,9 +66,9 @@
 			 :format-arguments ,(list  svar)))
 		,svar)))))
 
-;;; With-Mumble-Stream calls the function in the given Slot of the
-;;; Stream with the Args for lisp-streams, or the Function with the
-;;; Args for fundamental-streams.
+;;; WITH-mumble-STREAM calls the function in the given SLOT of the
+;;; STREAM with the ARGS for LISP-STREAMs, or the FUNCTION with the
+;;; ARGS for FUNDAMENTAL-STREAMs.
 (defmacro with-in-stream (stream (slot &rest args) &optional stream-dispatch)
   `(let ((stream (in-synonym-of ,stream)))
     ,(if stream-dispatch