42 lines
1.7 KiB
HTML
42 lines
1.7 KiB
HTML
|
<html>
|
||
|
<head>
|
||
|
<!-- This file has been generated by unroff 1.0, 03/21/96 19:29:48. -->
|
||
|
<!-- Do not edit! -->
|
||
|
<link rev="made" href="mailto:net@informatik.uni-bremen.de">
|
||
|
<title>unroff Programmer's Manual, footnotes</title>
|
||
|
</head><body>
|
||
|
<h2><a name="section0">Footnotes</a></h2>
|
||
|
<p>
|
||
|
<b><a name="footnote1">[1]</a></b> <tt> </tt>Although the result of specific event handlers defined for
|
||
|
strings is not rescanned, the handler for `\*' that is supplied by
|
||
|
<i>unroff
|
||
|
</i>to implement user-defined strings does rescan the contents of
|
||
|
a string when it is expanded.<tt> </tt>
|
||
|
<p>
|
||
|
<b><a name="footnote2">[2]</a></b> <tt> </tt>While #f indicates ``standard output'' when assigned to
|
||
|
the current output stream, it is an error to call an input primitive
|
||
|
after #f has been assigned to the current
|
||
|
<i>input
|
||
|
</i>stream.<tt> </tt>
|
||
|
This may be considered a mis-feature; the current input and
|
||
|
output streams should be treated similarly with respect to
|
||
|
standard input and standard output.<tt> </tt>
|
||
|
<p>
|
||
|
<b><a name="footnote3">[3]</a></b> <tt> </tt><i>stream->string
|
||
|
</i>is a misnomer, because the argument of the primitive is not
|
||
|
a stream, nor does the primitive actually
|
||
|
<i>convert
|
||
|
</i>a stream to a string as suggested by the `->' sign.<tt> </tt>
|
||
|
<p>
|
||
|
<b><a name="footnote4">[4]</a></b> <tt> </tt>The primitive
|
||
|
<i>error-port
|
||
|
</i>should actually be provided by Elk proper to avoid having to
|
||
|
reinvent it for each extensible application.<tt> </tt>
|
||
|
<p>
|
||
|
<b><a name="footnote5">[5]</a></b> <tt> </tt>The primitive
|
||
|
<i>parse-triple
|
||
|
</i>should probably return a proper list rather than an improper list.<tt> </tt>
|
||
|
<p><hr>
|
||
|
Markup created by <em>unroff</em> 1.0, <tt> </tt> <tt> </tt>March 21, 1996, <tt> </tt> <tt> </tt>net@informatik.uni-bremen.de</body>
|
||
|
</html>
|