[closed] Re: Does a primary output have to be connected in all branches?

/ Richard Tobin <richard@inf.ed.ac.uk> was heard to say:
| 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.

We decided the answer was "no". I don't think any spec changes are
necessary...

                                        Be seeing you,
                                          norm

-- 
Norman Walsh <ndw@nwalsh.com> | It is a folly to expect men to do all
http://nwalsh.com/            | that they may reasonably be expected to
                              | do.--Archbishop Whately