From 5c11b23cae908b2a919e2cadf97e89e3f90383ff Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 1 Jun 2006 13:36:22 +0000 Subject: [PATCH] pr8080 and pr8081 svn: r3170 --- collects/xml/doc.txt | 6 +++--- collects/xml/private/structures.ss | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/xml/doc.txt b/collects/xml/doc.txt index 41dfe2a2ec..d06558926c 100644 --- a/collects/xml/doc.txt +++ b/collects/xml/doc.txt @@ -236,10 +236,10 @@ Note: Xexpr is the only important one to understand. Even then, "" with proper quoting. If this is an incorrect assumption, this library will generate invalid XML. -> Entity = (make-entity (U Nat Symbol)) - (define-struct entity (text)) +> Entity = (make-entity Location Location (U Nat Symbol)) + (define-struct (entity struct:source) (text)) -> Processing-instruction = (make-pi Location Location String (list String)) +> Processing-instruction = (make-pi Location Location String String) (define-struct (pi struct:source) (target-name instruction)) > Comment = (make-comment String) diff --git a/collects/xml/private/structures.ss b/collects/xml/private/structures.ss index 6b7704dcf4..c4874c6798 100644 --- a/collects/xml/private/structures.ss +++ b/collects/xml/private/structures.ss @@ -74,7 +74,7 @@ ; Entity = (make-entity Location Location (U Nat Symbol)) (define-struct (entity source) (text)) - ; Processing-instruction = (make-pi Location Location String (list String)) + ; Processing-instruction = (make-pi Location Location String String) ; also represents XMLDecl (define-struct (pi source) (target-name instruction))