fix correspondence between location? and Location in typed/racket

Author: joergen7

typed-racket-more/typed/xml.rkt

@@ -18,12 +18,16 @@
      (Pair Symbol (Pair (Listof XExpr-Attribute) (Listof XExpr)))
      (Pair Symbol (Listof XExpr))))
 
-(require/typed/provide xml
+(require/typed xml
   [#:struct location
    ([line   : (U False Exact-Nonnegative-Integer)]
     [char   : (U False Exact-Nonnegative-Integer)]
-    [offset : Exact-Nonnegative-Integer])
-   #:type-name Location]
+    [offset : Exact-Nonnegative-Integer])])
+   
+(define-type Location
+  (U location Symbol False))
+
+(require/typed/provide xml
   [#:struct source
    ([start : Location]
     [stop  : Location])

typed-racket-test/unit-tests/xml-tests.rkt

@@ -0,0 +1,25 @@
+#lang typed/racket/base
+
+(module+ test
+
+  (require typed/rackunit
+           "../../typed-racket-more/typed/xml.rkt")
+
+  (let ([xml-p-i
+         (p-i #f #f 'xml "version=\"1.0\" encoding=\"UTF-8\"")])
+    (check-eq?
+     (source-start xml-p-i)
+     #f)
+    (check-eq?
+     (source-stop xml-p-i)
+     #f))
+               
+  (let ([xml-p-i
+         (p-i 'racket 'racket 'xml "version=\"1.0\" encoding=\"UTF-8\"")])
+    (check-eq?
+     (source-start xml-p-i)
+     'racket)
+    (check-eq?
+     (source-stop xml-p-i)
+     'racket)))
+