pr8080 and pr8081
svn: r3170
This commit is contained in:
parent
5a1e1f72ac
commit
5c11b23cae
|
@ -236,10 +236,10 @@ Note: Xexpr is the only important one to understand. Even then,
|
||||||
"<![CDATA[~a]]>" with proper quoting. If this is an incorrect
|
"<![CDATA[~a]]>" with proper quoting. If this is an incorrect
|
||||||
assumption, this library will generate invalid XML.
|
assumption, this library will generate invalid XML.
|
||||||
|
|
||||||
> Entity = (make-entity (U Nat Symbol))
|
> Entity = (make-entity Location Location (U Nat Symbol))
|
||||||
(define-struct entity (text))
|
(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))
|
(define-struct (pi struct:source) (target-name instruction))
|
||||||
|
|
||||||
> Comment = (make-comment String)
|
> Comment = (make-comment String)
|
||||||
|
|
|
@ -74,7 +74,7 @@
|
||||||
; Entity = (make-entity Location Location (U Nat Symbol))
|
; Entity = (make-entity Location Location (U Nat Symbol))
|
||||||
(define-struct (entity source) (text))
|
(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
|
; also represents XMLDecl
|
||||||
(define-struct (pi source) (target-name instruction))
|
(define-struct (pi source) (target-name instruction))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user