[m-rev.] for review: <added definition to glossary.html>

[Fergus Henderson]

On 06-Dec-2001, Nicholas David WATMOUGH <ndw at students.cs.mu.oz.au> wrote:
> 
> +<dt> RTTI
> +       <dd>
> +       The "RunTime Type Information", which is part of the LLDS. See
> rtti.m.

When posting diffs, you should make sure that your mailer does not wrap
long lines like it did above, otherwise the diffs can't be applied using
`patch'.

This definition is misleading, because the RTTI is not specific to the
LLDS -- it is also used by the MLDS back-end.  So delete the
", which is part of the LLDS" bit.

It might also be useful to give a pointer to the paper
"Run time type information in Mercury", which is available
from the "Papers" section of the Mercury web site.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------