;;;
;;; All arguments are forms which will be used for a specific purpose
;;; PEEK-TYPE - the current peek-type as defined by ANSI CL
-;;; EOF-VALUE - the eof-value argument to peek-char
+;;; EOF-RESULT - the eof-value argument to peek-char
;;; CHAR-VAR - the variable which will be used to store the current character
;;; READ-FORM - the form which will be used to read a character
+;;; EOF-VALUE - the result returned from READ-FORM when hitting eof
;;; UNREAD-FORM - ditto for unread-char
;;; SKIPPED-CHAR-FORM - the form to execute when skipping a character
;;; EOF-DETECTED-FORM - the form to execute when EOF has been detected
-;;; (this will default to CHAR-VAR)
-(eval-when (:compile-toplevel :execute)
- (sb!xc:defmacro generalized-peeking-mechanism
- (peek-type eof-value char-var read-form unread-form
- &optional (skipped-char-form nil) (eof-detected-form nil))
- `(let ((,char-var ,read-form))
- (cond ((eql ,char-var ,eof-value)
- ,(if eof-detected-form
- eof-detected-form
- char-var))
- ((characterp ,peek-type)
- (do ((,char-var ,char-var ,read-form))
- ((or (eql ,char-var ,eof-value)
- (char= ,char-var ,peek-type))
- (cond ((eql ,char-var ,eof-value)
- ,(if eof-detected-form
- eof-detected-form
- char-var))
- (t ,unread-form
- ,char-var)))
- ,skipped-char-form))
- ((eql ,peek-type t)
- (do ((,char-var ,char-var ,read-form))
- ((or (eql ,char-var ,eof-value)
- (not (whitespacep ,char-var)))
- (cond ((eql ,char-var ,eof-value)
- ,(if eof-detected-form
- eof-detected-form
- char-var))
- (t ,unread-form
- ,char-var)))
- ,skipped-char-form))
- ((null ,peek-type)
- ,unread-form
- ,char-var)
- (t
- (bug "Impossible case reached in PEEK-CHAR"))))))
+;;; (this will default to EOF-RESULT)
+(sb!xc:defmacro generalized-peeking-mechanism
+ (peek-type eof-value char-var read-form read-eof unread-form
+ &optional (skipped-char-form nil) (eof-detected-form nil))
+ `(let ((,char-var ,read-form))
+ (cond ((eql ,char-var ,read-eof)
+ ,(if eof-detected-form
+ eof-detected-form
+ eof-value))
+ ((characterp ,peek-type)
+ (do ((,char-var ,char-var ,read-form))
+ ((or (eql ,char-var ,read-eof)
+ (char= ,char-var ,peek-type))
+ (cond ((eql ,char-var ,read-eof)
+ ,(if eof-detected-form
+ eof-detected-form
+ eof-value))
+ (t ,unread-form
+ ,char-var)))
+ ,skipped-char-form))
+ ((eql ,peek-type t)
+ (do ((,char-var ,char-var ,read-form))
+ ((or (eql ,char-var ,read-eof)
+ (not (whitespacep ,char-var)))
+ (cond ((eql ,char-var ,read-eof)
+ ,(if eof-detected-form
+ eof-detected-form
+ eof-value))
+ (t ,unread-form
+ ,char-var)))
+ ,skipped-char-form))
+ ((null ,peek-type)
+ ,unread-form
+ ,char-var)
+ (t
+ (bug "Impossible case reached in PEEK-CHAR")))))
;;; rudi (2004-08-09): There was an inline declaration for read-char,
;;; unread-char, read-byte, listen here that was removed because these
(t
(generalized-peeking-mechanism
peek-type eof-value char
- (ansi-stream-read-char stream eof-error-p eof-value recursive-p)
+ (ansi-stream-read-char stream eof-error-p :eof recursive-p)
+ :eof
(ansi-stream-unread-char char stream)))))
(defun peek-char (&optional (peek-type nil)
(if (null peek-type)
(stream-peek-char stream)
(stream-read-char stream))
+ :eof
(if (null peek-type)
()
(stream-unread-char stream char))
(pop (echo-stream-unread-stuff stream)))
(t
(setf unread-char-p nil)
- (read-char in (first arg2) (second arg2))))))
+ (read-char in (first arg2) :eof)))))
(generalized-peeking-mechanism
arg1 (second arg2) char
(infn)
+ :eof
(unread-char char in)
(outfn char)))))
(t