<div dir="ltr">I just went and read natural-number/c and it is for an exact non-negative integer.&nbsp; Is there any appreciable difference between using exact-nonnegative-integer? and natural/number/c.&nbsp; [If so, I think we should have a positive-number/c to match exact-positive-integer?]&nbsp; Or, should I move to the exact integer booleans in contracts now?<br>
<br>That may be a Robby question instead of a Matthew one.<br><br><div class="gmail_quote">On Mon, Sep 22, 2008 at 7:58 AM, Doug Williams <span dir="ltr">&lt;<a href="mailto:m.douglas.williams@gmail.com">m.douglas.williams@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr">Thanks, Matthew.&nbsp; It&#39;s in good enough shape now to release - which I have.&nbsp; I&#39;ll move on to the simulation and inference collection documentation now.&nbsp; I don&#39;t think they&#39;ll be as hard as the science collection was.<br>

<br>At some point in time - hopefully within a month or so - I&#39;ll revisit the science collection documentation and code.&nbsp; One thing I have noticed from reading the PLT Scheme Reference Manual is the inclusion of exact integer booleans- things like exact-non-negative integer?.&nbsp; I assume these are the right things to use in the contracts for any arguments that eventually are used as vector indices, etc.&nbsp; I also assume that contract error messages for exact-nonnegative-integer? would give a more informative message than for (and/c exact? natural-number/c?), etc.<br>

<br>It also seems that there is now a mismatch between how we specify arguments and contracts in Scribble, which is very nice, and in the contracts in the code.&nbsp; The defproc format seems to be more intuitive.&nbsp; I haven&#39;t revisited the contracts section of the documentations yet - and probably should.<br>

<br>Anyway, thanks for answering all the questions I&#39;ve had.<br><font color="#888888"><br>Doug</font><div><div></div><div class="Wj3C7c"><br><br><div class="gmail_quote">On Mon, Sep 22, 2008 at 7:27 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div>At Sun, 21 Sep 2008 11:58:25 -0600, &quot;Doug Williams&quot; wrote:<br>

&gt; I get a warning the it collected information multiple times on (mod-path<br>
&gt; &quot;(planet williams/main/section/shared)&quot;) and (index-entry (mod-path &quot;(planet<br>
&gt; williams/main/section/shared)&quot;)). &nbsp;Is there an alternative to the second<br>
&gt; defmodule that won&#39;t give the warning?<br>
<br>
</div>`defmodule*/no-declare&#39;.<br>
<div><br>
&gt; I also get a warning that it collected information multiple times on<br>
&gt; &quot;(exporting-libraries #f)&quot;. &nbsp;Is that likely from the same problem or a<br>
&gt; different one (like a different defmodule problem elsewhere)?<br>
<br>
</div>That&#39;s likely a `defproc&#39; (or `defthing&#39;, etc.) inside a section that<br>
doesn&#39;t have a `defmodule&#39; (either in the immediate section or an<br>
enclosing section).<br>
<div><br>
&gt; Second question: I am including (require (for-label (planet<br>
&gt; ../science-with-graphics.ss&quot;)) in each of the scribble files, but I&#39;m not<br>
&gt; sure it it&#39;s necessary if I have the defmodules. &nbsp;I assume it is used to<br>
&gt; resolve references for hyperlinking, but do the defprocs, etc provide the<br>
&gt; same information?<br>
<br>
</div>You need both, currently. The `defmodule&#39;s determine the hyperlink<br>
bindings created the `defproc&#39;s, etc. The `require .... for-label&#39;s<br>
determine uses of identifiers to be hyperlinked. The same bit of text<br>
naming a function in a `defproc&#39; both serves as a hyperlink target and<br>
is hyperlinked to itself. (Of course, hyperlinking to itself isn&#39;t<br>
really useful, but by &quot;hyperlink&quot; in this case I also mean getting the<br>
right text style, such as blue versus bold black.)<br>
<div><br>
&gt; And, I guess a related question: &nbsp;in my defmodules I am using the planet<br>
&gt; reference, but I used the relative reference in the for-label. &nbsp;It seems<br>
&gt; logical to me to do that since the defmodule renders into something the user<br>
&gt; sees - and they know about the planet collection, while the for-label is<br>
&gt; internal to the scribble files and not visible to the user.<br>
<br>
</div>Right.<br>
<div><br>
&gt; Does the planet<br>
&gt; deference in defmodule refer to the copy in the planet repository (on my<br>
&gt; machine) or to the source code being used to build it? &nbsp;That is, do I have<br>
&gt; to have already built a .plt and fileinjected it for the defmodule to work?<br>
<br>
</div>Yes, or you need to have a development link. This is definitely a place<br>
to improve in the future.<br>
<div><br>
&gt; One last question: &nbsp;How can I include an appendix (or at least an unnumbered<br>
&gt; section-include? &nbsp;I have the GNU Free Documentation License I need to<br>
&gt; include with the documentation, but would rather it wasn&#39;t a numbered<br>
&gt; section.<br>
<br>
</div>You can use `make-unnumbered-part&#39;. There doesn&#39;t seem to be a style on<br>
`section&#39; (or anything like that) to write the start of an unnumbered<br>
section more directly. We should add something, or maybe unnumberedness<br>
should have been a style instead of a different structure type.<br>
<font color="#888888"><br>
<br>
Matthew<br>
<br>
</font></blockquote></div><br></div></div></div>
</blockquote></div><br></div>