X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/f64eb323a5798e155cc494043f5f750abf50a482..refs/heads/master:/src/parser/parser-proto.lisp

diff --git a/src/parser/parser-proto.lisp b/src/parser/parser-proto.lisp
index 7aafe45..f7b5993 100644
--- a/src/parser/parser-proto.lisp
+++ b/src/parser/parser-proto.lisp
@@ -606,7 +606,7 @@
    The return value may later be used with `parser-restore-place'.  Be
    careful: all of this is happening at macro-expansion time.")
     (:method (context)
-      (error "Parser context ~S doesn't support rewinding." context)))
+      (error "Parser context ~S doesn't support rewinding" context)))
 
   (export 'parser-restore-place)
   (defgeneric parser-restore-place (context place)
@@ -683,7 +683,7 @@
 
 (defun commit-peeked-place ()
   "Called by `commit' not lexically within `peek'."
-  (error "`commit' is not within `peek'."))
+  (error "`commit' is not within `peek'"))
 
 (export 'commit)
 (defparse commit ()
@@ -879,9 +879,10 @@
    "Return the parser's current token's semantic value."))
 
 (export 'token)
-(defparse token (:context (context token-parser-context)
-		 type &optional (value nil valuep) &key peekp)
-  "Match tokens of a particular type.
+(locally  (declare #+sbcl (sb-ext:muffle-conditions style-warning))
+  (defparse token (:context (context token-parser-context)
+			    type &optional (value nil valuep) &key peekp)
+    "Match tokens of a particular type.
 
    A token matches under the following conditions:
 
@@ -903,35 +904,35 @@
    If the match fails then the failure indicator is either TYPE or (TYPE
    VALUE), depending on whether a VALUE was specified."
 
-  (once-only (type value peekp)
-    (with-gensyms (tokty tokval)
-      `(let ((,tokty ,(parser-token-type context))
-	     (,tokval ,(parser-token-value context)))
-	 (if ,(if (eq type t)
-		  `(not (eq ,tokty :eof))
-		  (flet ((check-value (cond)
-			   (if valuep
-			       `(and ,cond (equal ,tokval ,value))
-			       cond)))
-		    (if (constantp type)
-			(check-value `(eql ,tokty ,type))
-			`(if (eq ,type t)
-			     (not (eq ,tokty :eof))
-			     ,(check-value `(eql ,tokty ,type))))))
-	     ,(let* ((result `(values ,tokval t ,(if (constantp peekp)
-						     (not peekp)
-						     `(not ,peekp))))
-		     (step (parser-step context)))
-		    (cond ((not (constantp peekp))
-			   `(multiple-value-prog1 ,result
-			      (unless ,peekp ,step)))
-			  (peekp
-			   result)
-			  (t
-			   `(multiple-value-prog1 ,result
-			      ,step))))
-	     (values (list ,(if valuep `(list ,type ,value) type))
-		     nil nil))))))
+    (once-only (type value peekp)
+      (with-gensyms (tokty tokval)
+	`(let ((,tokty ,(parser-token-type context))
+	       (,tokval ,(parser-token-value context)))
+	   (if ,(if (eq type t)
+		    `(not (eq ,tokty :eof))
+		    (flet ((check-value (cond)
+			     (if valuep
+				 `(and ,cond (equal ,tokval ,value))
+				 cond)))
+		      (if (constantp type)
+			  (check-value `(eql ,tokty ,type))
+			  `(if (eq ,type t)
+			       (not (eq ,tokty :eof))
+			       ,(check-value `(eql ,tokty ,type))))))
+	       ,(let* ((result `(values ,tokval t ,(if (constantp peekp)
+						       (not peekp)
+						       `(not ,peekp))))
+		       (step (parser-step context)))
+		  (cond ((not (constantp peekp))
+			 `(multiple-value-prog1 ,result
+			    (unless ,peekp ,step)))
+			(peekp
+			 result)
+			(t
+			 `(multiple-value-prog1 ,result
+			    ,step))))
+	       (values (list ,(if valuep `(list ,type ,value) type))
+		       nil nil)))))))
 
 (defmethod expand-parser-spec ((context token-parser-context) spec)
   (if (atom spec)