Ok. I have a number of minor this-and-thats for base-env.rkt that I've queued up. I'll add this. Patch in a couple of days.<div><br></div><div>Thanks,</div><div><br></div><div>Ray</div><div class="gmail_extra"><br>
<br><div class="gmail_quote">On Sat, Nov 10, 2012 at 6:46 PM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p>I think that paths were added to to the Racket grammar since the Typed Racket definition was written, and the latter just needs an update.</p>
<p>Sam</p>
<div class="gmail_quote"><div><div class="h5">On Nov 10, 2012 2:25 PM, "Ray Racine" <<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>> wrote:<br type="attribution"></div></div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
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>=></div>
<div>#<path:/home/ray/pathbug.rkt><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 'quote) -Symbol)</div><div> (-lst* (-val 'lib) -String)</div><div> (-lst* (-val 'file) -String)</div><div> (-pair (-val '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 '= '+ '-)) -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' is not equivalent to R `module-path?'. They should agree, yes?</div><div><br></div>
<div><br></div>
<br></div></div>____________________<br>
Racket Users list:<br>
<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div>
</blockquote></div><br></div>