<DIV>I've applied these suggestions and commited the change.<BR><BR><B><I>Fergus Henderson <fjh@cs.mu.OZ.AU></I></B> wrote:
<BLOCKQUOTE class=replbq style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #1010ff 2px solid">> + Due to the absence of RTTI, type-checking is missing for these<BR>> + predicates. They should be used with care.<BR><BR>s/type-checking/dynamic type checking/<BR><BR>> + time.clock/3:<BR>> + time.clocks_per_sec/0:<BR>> + time.times/7:<BR>> + time.clk_tck/0:<BR>> + Currently use native code, sacrificing some portability.<BR><BR>Here I think it is important to explain where the blame lies -- the problem<BR>is Java's fault, not ours. So I suggest <BR><BR>Because the current Java APIs do not provide any way of<BR>implementing these procedures in pure Java, we have implemented<BR>them using a native code library implemented in C and accessed<BR>via JNI. This approach sacrifices some portability.<BR></BLOCKQUOTE></DIV><p><br><hr size=1>
<a href="http://au.rd.yahoo.com/mail/welcome/*http://greetings.yahoo.com.au" target=_blank><b>Yahoo! Greetings</b></a><br>
Send your love online with Yahoo! Greetings - FREE!