Skip to content

Commit 3e52768

Browse files
committed
remove Number, add Pcdata to definition of XExpr type
1 parent 7921b8d commit 3e52768

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

typed-racket-more/typed/xml.rkt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,8 @@
1313
(U Comment P-I))
1414

1515
(define-type XExpr
16-
(U XML-Misc Cdata Positive-Index
17-
Number String Symbol
16+
(U XML-Misc Cdata Pcdata Positive-Index
17+
String Symbol
1818
(Pair Symbol (Pair (Listof XExpr-Attribute) (Listof XExpr)))
1919
(Pair Symbol (Listof XExpr))))
2020

0 commit comments

Comments
 (0)