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))