<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<body bgcolor="#ffffff" text="#000000">
I hadn't thought of that. In my case, my embedded documentation serves
a similar purpose.<br>
Just, before releasing a library, once the interface is solidly
designed and documented I want to change the "provide all defined" to
not include the "%" names, so that I'm not polluting namespaces of
Jay McCarthy wrote at 07/27/2009 07:42 AM:
<pre wrap="">I like having to write them out because I'm forced to think about each
function, its interface description, and its contract.
I'm sure that this sort of thing would be a fairly straight-forward
PLaneT tool that leveraged Check Syntax.
On Mon, Jul 27, 2009 at 5:39 AM, Neil Van Dyke<a class="moz-txt-link-rfc2396E" href="mailto:email@example.com"><firstname.lastname@example.org></a> wrote:
<pre wrap="">Here's a DrScheme feature that I could really use: a command that would add
to the "provide" form of the module in the editor any names defined in the
module but not exported currently, *except* those with names beginning with
the character "%".
A somewhat less-ideal feature would include "%" symbols as well, and I could
just manually delete those.
"%" is a convention that I stole from (I believe) Olin Shivers for marking
names internal to the library. A feature like I described could support
that convention in a generalized way by permitting the user to use regexps
to specify which names to exclude.
<a class="moz-txt-link-freetext" href="http://www.neilvandyke.org/">http://www.neilvandyke.org/</a>
For list-related administrative tasks:
<a class="moz-txt-link-freetext" href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a>