Does a primary output have to be connected in all branches?

A primary output port must be connected (2.2), but is it an error if
it is connected only in one branch of a choose, so that it might not
get read?

I would say no, since the purpose of the rule is to detect mistakes,
and it's quite reasonable for something to be only used in some
branches.

-- Richard

Received on Thursday, 25 October 2007 14:33:44 UTC