I see.<br><br>I read right past the "A sequence
<span class="schemeinputbg"><span class="hspace"></span><span class="schemeinput">#lang</span><span class="hspace"> </span></span>〈<i>name</i>〉 is equivalent to
<span class="schemeinputbg"><span class="hspace"></span><span class="schemeinput">#reader</span><span class="hspace"> </span></span>〈<i>name</i>〉<span class="schemeinputbg"><span class="hspace"></span><span class="schemeinput">/lang/reader</span><span class="hspace">" without registering what it means. Thanks for pointing it out.</span></span><br>
<br><div class="gmail_quote">On Mon, Jun 16, 2008 at 8:08 PM, Chongkai Zhu <<a href="mailto:czhu@cs.utah.edu">czhu@cs.utah.edu</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
In v4 doc, it's section 12.6.17 "Reading via an Extension" of "Reference: PLT Scheme"<br>
<br>
Chongkai Zhu wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
From the v372 doc (v4 works in the same way):<br>
<br>
</blockquote>
</blockquote></div><br>