maintain Location as struct type

racket · Jan 3, 2025 · a01eb21 · a01eb21
1 parent 4bd8d9e
commit a01eb21
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/typed-racket-more/typed/xml.rkt b/typed-racket-more/typed/xml.rkt
@@ -18,19 +18,15 @@
      (Pair Symbol (Pair (Listof XExpr-Attribute) (Listof XExpr)))
      (Pair Symbol (Listof XExpr))))
 
-(require/typed xml
+(require/typed/provide xml
   [#:struct location
    ([line   : (U False Exact-Nonnegative-Integer)]
     [char   : (U False Exact-Nonnegative-Integer)]
-    [offset : Exact-Nonnegative-Integer])])
-
-(define-type Location
-  (U location Symbol False))
-
-(require/typed/provide xml
+    [offset : Exact-Nonnegative-Integer])
+   #:type-name Location]
   [#:struct source
-   ([start : Location]
-    [stop  : Location])
+   ([start : (U Location Symbol False)]
+    [stop  : (U Location Symbol False)])
    #:type-name Source]
   [#:struct external-dtd
    ([system : String])