[m-dev.] Doco bug?

[Thomas Conway]

Hi

unneeded_code.m contains the following in the documentation at the start:

% Mercury has two constructs that make it possible for a variable to be needed
% on some computation paths but not others: switches and if-then-elses.

Why not disjunctions?
For example:
    ...,
    s(W::out),
    p(X::out),
    (
    	q(X)
    ;
    	r(W)
    ).

-- 
 Thomas Conway              Mercurian )O+  
 <conway at cs.mu.oz.au>       Every sword has two edges.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------