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.

I agree.

                                        Be seeing you,
                                          norm

-- 
Norman Walsh <ndw@nwalsh.com> | Nothing ever gets anywhere. The earth
http://nwalsh.com/            | keeps turning round and gets nowhere.
                              | The moment is the only thing that
                              | counts.--Jean Cocteau