Delete now-unused entity-reference structures.

diff --git a/v7/src/xml/xml-struct.scm b/v7/src/xml/xml-struct.scm
index a1dc1b79b82ed475fe02ca1e2b3034a6044cce21..4e74037920c246ac0a174f94f6091eff47284690 100644 (file)
--- a/v7/src/xml/xml-struct.scm
+++ b/v7/src/xml/xml-struct.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: xml-struct.scm,v 1.4 2001/07/14 11:43:50 cph Exp $
+;;; $Id: xml-struct.scm,v 1.5 2001/07/16 18:54:12 cph Exp $
 ;;;
 ;;; Copyright (c) 2001 Massachusetts Institute of Technology
 ;;;
@@ -64,25 +64,6 @@
                   (type-descriptor xml-uninterpreted-rtd))
   text)
 
-(define-structure (xml-entity-reference
-                  (type-descriptor xml-entity-reference-rtd)
-                  (print-procedure
-                   (standard-unparser-method 'XML-ENTITY-REFERENCE
-                     (lambda (reference port)
-                       (write-char #\space port)
-                       (write (xml-entity-reference-name reference) port)))))
-  name)
-
-(define-structure (xml-parameter-entity-reference
-                  (type-descriptor xml-parameter-entity-reference-rtd)
-                  (print-procedure
-                   (standard-unparser-method 'XML-PARAMETER-ENTITY-REFERENCE
-                     (lambda (reference port)
-                       (write-char #\space port)
-                       (write (xml-parameter-entity-reference-name reference)
-                              port)))))
-  name)
-
 (define (xml-intern string)
   ;; Prevents XML names from cluttering the symbol table.
   (or (hash-table/get xml-tokens string #f)

diff --git a/v7/src/xml/xml.pkg b/v7/src/xml/xml.pkg
index 780a0b6cfa80961c40891c35ccb20f740b8e85a7..369d35dfaa94b5caa4a79719c6274ba91fa5d9f3 100644 (file)
--- a/v7/src/xml/xml.pkg
+++ b/v7/src/xml/xml.pkg
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: xml.pkg,v 1.4 2001/07/14 11:43:47 cph Exp $
+;;; $Id: xml.pkg,v 1.5 2001/07/16 18:54:48 cph Exp $
 ;;;
 ;;; Copyright (c) 2001 Massachusetts Institute of Technology
 ;;;
@@ -40,10 +40,8 @@
          make-xml-document
          make-xml-dtd
          make-xml-element
-         make-xml-entity-reference
          make-xml-external-id
          make-xml-parameter-!entity
-         make-xml-parameter-entity-reference
          make-xml-processing-instructions
          make-xml-uninterpreted
          make-xml-unparsed-!entity
@@ -70,7 +68,6 @@
          set-xml-element-attributes!
          set-xml-element-contents!
          set-xml-element-name!
-         set-xml-entity-reference-name!
          set-xml-external-id-id!
          set-xml-external-id-uri!
          set-xml-parameter-!entity-name!
@@ -120,9 +117,6 @@
          xml-element-name
          xml-element-rtd
          xml-element?
-         xml-entity-reference-name
-         xml-entity-reference-rtd
-         xml-entity-reference?
          xml-external-id-id
          xml-external-id-rtd
          xml-external-id-uri
@@ -132,8 +126,6 @@
          xml-parameter-!entity-rtd
          xml-parameter-!entity-value
          xml-parameter-!entity?
-         xml-parameter-entity-reference-rtd
-         xml-parameter-entity-reference?
          xml-processing-instructions-name
          xml-processing-instructions-rtd
          xml-processing-instructions-text