Consider in R<div><div>#lang racket</div><div><br></div><div>(require </div><div> racket/place/distributed)</div><div><br></div><div>(quote-module-path)</div></div><div>(module-path? (quote-module-path))</div><div>=&gt;</div>
<div>#&lt;path:/home/ray/pathbug.rkt&gt;<br></div><div>#t</div><div><br></div><div>So a Path type satisfies the module-path? predicate in R.</div><div><br></div><div>In TR abbrev.rkt</div><div><div>(define -Module-Path (Un -Symbol -String</div>
<div>                         (-lst* (-val &#39;quote) -Symbol)</div><div>                         (-lst* (-val &#39;lib) -String)</div><div>                         (-lst* (-val &#39;file) -String)</div><div>                         (-pair (-val &#39;planet)</div>
<div>                          (Un (-lst* -Symbol)</div><div>                              (-lst* -String)</div><div>                              (-lst* -String (-lst* -String -String #:tail (make-Listof (Un -Nat (-lst* (Un -Nat (one-of/c &#39;= &#39;+ &#39;-)) -Nat)))))))))</div>
</div><div><br></div><div>The TR definition of -Module-Path does not allow for a -Path.</div><div><br></div><div>TR `Module-Path&#39; is not equivalent to R `module-path?&#39;.  They should agree, yes?</div><div><br></div>
<div><br></div>