Skip to content

Commit 87fb4d5

Browse files
committed
re-introduce Number
1 parent 3e52768 commit 87fb4d5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

typed-racket-more/typed/xml.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414

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

0 commit comments

Comments
 (0)