[racket] TR vs. R - Conflicting def of module path

Consider in R
#lang racket

(require
 racket/place/distributed)

(quote-module-path)
(module-path? (quote-module-path))
=>
#<path:/home/ray/pathbug.rkt>
#t

So a Path type satisfies the module-path? predicate in R.

In TR abbrev.rkt
(define -Module-Path (Un -Symbol -String
                         (-lst* (-val 'quote) -Symbol)
                         (-lst* (-val 'lib) -String)
                         (-lst* (-val 'file) -String)
                         (-pair (-val 'planet)
                          (Un (-lst* -Symbol)
                              (-lst* -String)
                              (-lst* -String (-lst* -String -String #:tail
(make-Listof (Un -Nat (-lst* (Un -Nat (one-of/c '= '+ '-)) -Nat)))))))))

The TR definition of -Module-Path does not allow for a -Path.

TR `Module-Path' is not equivalent to R `module-path?'.  They should agree,
yes?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121110/371c9e91/attachment-0001.html>