-sun/not-wf/sgml03.xml [not-wf?] FAILED:

-  well-formedness violation not detected
-[
-    Comments may not contain "--"]

XMLCONF

@@ -514,10 +514,7 @@ sun/not-wf/pubid04.xml [not-wf?] not-wf
 sun/not-wf/pubid05.xml [not-wf?] not-wf
 sun/not-wf/sgml01.xml [not-wf?] not-wf
 sun/not-wf/sgml02.xml [not-wf?] not-wf
-sun/not-wf/sgml03.xml [not-wf?] FAILED:
+sun/not-wf/sgml03.xml [not-wf?] not-wf
-  well-formedness violation not detected
-[
-    Comments may not contain "--"]
 sun/not-wf/sgml04.xml [not-wf?] not-wf
 sun/not-wf/sgml05.xml [not-wf?] not-wf
 sun/not-wf/sgml06.xml [not-wf?] not-wf
@@ -1025,12 +1022,7 @@ ibm/not-wf/P14/ibm14n01.xml [not-wf?] FAILED:
   ]
 ibm/not-wf/P14/ibm14n02.xml [not-wf?] not-wf
 ibm/not-wf/P14/ibm14n03.xml [not-wf?] not-wf
-ibm/not-wf/P15/ibm15n01.xml [not-wf?] FAILED:
+ibm/not-wf/P15/ibm15n01.xml [not-wf?] not-wf
-  well-formedness violation not detected
-[
-    Tests comment. The text of the second comment contains the character 
-    "-".
-  ]
 ibm/not-wf/P15/ibm15n02.xml [not-wf?] not-wf
 ibm/not-wf/P15/ibm15n03.xml [not-wf?] not-wf
 ibm/not-wf/P15/ibm15n04.xml [not-wf?] not-wf
@@ -1853,4 +1845,4 @@ ibm/valid/P86/ibm86v01.xml [not validating:] input [validating:] input
 ibm/valid/P87/ibm87v01.xml [not validating:] input [validating:] input
 ibm/valid/P88/ibm88v01.xml [not validating:] input [validating:] input
 ibm/valid/P89/ibm89v01.xml [not validating:] input [validating:] input
-14/1786 tests failed; 376 tests were skipped
+12/1786 tests failed; 376 tests were skipped

xml/xml-parse.lisp

@@ -132,11 +132,7 @@
 ;;
 ;; o max depth together with circle detection
 ;;   (or proof, that our circle detection is enough).
-;;
+;;   [was fuer circle detection?--david]
-;; o element definitions (with att definitions in the elements)
-;;   [das haben wir doch, oder?]
-;;
-;; o store entities in the DTD
 ;;
 ;; o better extensibility wrt character representation, one may want to
 ;;   have
@@ -151,38 +147,12 @@
 ;;   [ausgelagert sind sie; dokumentiert "so la la"; die Reintegration
 ;;   in Closure ist ein ganz anderes Thema]
 ;;
-;; o merge node representation with SGML module
-;;   [???]
-;;
-;; o line/column number recording
-;;
-;; o better error messages
-;;
 ;; o recording of source locations for nodes.
 ;;
-;; o make the *scratch-pad* hack safe
-;;
 ;; o based on the DTD and xml:space attribute implement HTML white
 ;;   space rules.
 ;;
 ;; o on a parser option, do not expand external entities.
-;;
-;; o does the user need the distinction between "" and " " ?
-;;   That is literal and 'quoted' white space.
-;;   [verstehe ich nicht --david]
-;;
-;; o on an option merge CDATA section;
-;;
-;; o data in parse tree? extra nodes like in SGML?!
-;;
-;; o what to store in the node-gi field? Some name object or the
-;;   string used?
-;;
-
-;; Test that fail:
-;;
-;; not-wf/sa/128        is false a alarm
-;;
 
 ;;;; Validity constraints:
 ;;;; (00) Root Element Type                     like (03), c.f. MAKE-ROOT-MODEL
@@ -1586,40 +1556,37 @@
         (go state-1)))))
 
 (defun read-comment-content (input &aux d)
-  (let ((warnedp nil))
+  (with-rune-collector (collect)
-    (with-rune-collector (collect)
+    (block nil
-      (block nil
+      (tagbody
-        (tagbody
+       state-1
-         state-1
+	(setf d (read-rune input))
-          (setf d (read-rune input))
+	(unless (data-rune-p d)
-          (unless (data-rune-p d)
+	  (wf-error "Illegal char: ~S." d))
-            (error "Illegal char: ~S." d))
+	(when (rune= d #/-) (go state-2))
-          (when (rune= d #/-) (go state-2))
+	(collect d)
-          (collect d)
+	(go state-1)
-          (go state-1)
+       state-2 ;; #/- seen
-         state-2 ;; #/- seen
+	(setf d (read-rune input))
-          (setf d (read-rune input))
+	(unless (data-rune-p d)
-          (unless (data-rune-p d)
+	  (wf-error "Illegal char: ~S." d))
-            (error "Illegal char: ~S." d))
+	(when (rune= d #/-) (go state-3))
-          (when (rune= d #/-) (go state-3))
+	(collect #/-)
-          (collect #/-)
+	(collect d)
-          (collect d)
+	(go state-1)
-          (go state-1)
+       state-3 ;; #/- #/- seen
-         state-3 ;; #/- #/- seen
+	(setf d (read-rune input))
-          (setf d (read-rune input))
+	(unless (data-rune-p d)
-          (unless (data-rune-p d)
+	  (wf-error "Illegal char: ~S." d))
-            (error "Illegal char: ~S." d))
+	(when (rune= d #/>) (return))
-          (when (rune= d #/>) (return))
+	(wf-error "'--' not allowed in a comment")
-          (unless warnedp
+	(when (rune= d #/-)
-            (warn "WFC: no '--' in comments please.")
+	  (collect #/-)
-            (setf warnedp t))
+	  (go state-3))
-          (when (rune= d #/-)
+	(collect #/-)
-            (collect #/-)
+	(collect #/-)
-            (go state-3))
+	(collect d)
-          (collect #/-)
+	(go state-1)))))
-          (collect #/-)
-          (collect d)
-          (go state-1))))))
 
 (defun read-cdata-sect (input &aux d)
   ;; <![CDATA[ is already read