<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
In standard R[45]RS scheme (I don't know about R6RS), a programmer is not allowed to begin an identifier with ##; so identifiers beginning with ## are used internally, as a Gambit extension, to name procedures that the user is not supposed to redefine.<div><br class="webkit-block-placeholder"></div><div>So the definition of cddr might be<div><br class="webkit-block-placeholder"></div><div>(define (##cddr x) (##cdr (##cdr x)))</div><div>(define (cddr x) (##cddr x))</div><div><br class="webkit-block-placeholder"></div><div>so while the user can redefine cdr, that redefinition won't affect the definition of cddr, since cddr depends on ##cdr, not cdr.</div><div><br class="webkit-block-placeholder"></div><div>Brad</div><div><br class="webkit-block-placeholder"></div><div><br><div><div>On Dec 3, 2007, at 2:49 AM, Li Xiangyang wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">  <br> I see a lot of ## included in library file, such as ##define-macro, ##include, what does that mean? I can't find<br> any explanation in documents.<br>  <br> thanks!<br>  <br> Howard  <br><br><hr>Discover the new Windows Vista <a href="http://search.msn.com/results.aspx?q=windows+vista&mkt=en-US&form=QBRE" target="_new">Learn more!</a><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">_______________________________________________</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">Gambit-list mailing list</div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="mailto:Gambit-list@iro.umontreal.ca">Gambit-list@iro.umontreal.ca</a></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><a href="https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list">https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list</a></div> </blockquote></div><br></div></div></body></html>