<div class="gmail_quote">On Fri, Aug 19, 2011 at 11:49 AM, Didier Verna <span dir="ltr"><<a href="mailto:didier@lrde.epita.fr">didier@lrde.epita.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">Juan Jose Garcia-Ripoll <<a href="mailto:juanjose.garciaripoll@googlemail.com">juanjose.garciaripoll@googlemail.com</a>> wrote:<br>
<br>
> I have been reading the CDR documents and none of them seems to<br>
> mandate the inclusion of some feature to signal the presence of a CDR<br>
> in an implementation. *features* right now is quite populated and I<br>
> would not want to fill it with further names that may collide with<br>
> other users's. Does anybody have a strong opinion or is better<br>
> informed than me in this respect?<br>
<br>
</div>  We had a short discussion about this on the CDR mailing list when I<br>
issued the "File Local Variables" CDR. See:<br>
<a href="http://lists.common-lisp.net/pipermail/cdr-discuss/2011-April/thread.html" target="_blank">http://lists.common-lisp.net/pipermail/cdr-discuss/2011-April/thread.html</a><br>
</blockquote></div><br>I see both things mentioned:<br><br>- Adding :CDRnn or :CDR-nn to *features*<br>- Making the symbols live in some package.<br clear="all"><br>The first one is not agreed upon. Each one says a different name and a vague reference to CDR recommending this does not lead to any document. This is problematic.<br>

<br>The second thing solves a different problem: conflicts among extensions. But this is not our case. ECL's CDR symbols now live in EXT and do not conflict with anything. I see, however, a potential need for packages to solve clashes among versions, but this does not seem to be a problem with CDR right now.<br>

<br>So we still have two problems (determining the existence of a CDR extension or not, and using it through appropriate names) but no convention has been mandated. What do other implementations do?<br><br>Juanjo<br><br>
-- <br>
Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>