[m-dev.] for review: updates to WWW pages

Tyson Dowd trd at cs.mu.OZ.AU
Wed Nov 11 23:06:11 AEDT 1998


On 11-Nov-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Index: w3/download/include/limitations.inc
> ===================================================================
> RCS file: /home/staff/zs/imp/w3/download/include/limitations.inc,v
> retrieving revision 1.1.1.1
> diff -u -r1.1.1.1 limitations.inc
> --- limitations.inc	1998/09/01 02:41:57	1.1.1.1
> +++ limitations.inc	1998/11/11 07:21:28
> @@ -13,11 +13,7 @@
>  The compiler does not yet use structure reuse or compile-time
>  garbage collection to exploit unique modes.
>  <li>
> -It is not possible to give both `cc_multi' and `multi'
> -(or `cc_nondet' and `nondet') determinisms for the same mode of a predicate.
> -<li>
> -The order of mode declarations is significant:
> -unique mode declarations must precede non-unique mode declarations.
> +Type and mode inference a bit imperfect.
>  </ul>

*are* a bit imperfect?

-- 

Because I dislike being quoted I lie almost constantly when talking 
about my work.
		-- Terry Gilliam

Tyson Dowd   <tyson at tyse.net>   http://tyse.net/tyson 




More information about the developers mailing list