Re: output ports of choose, try

/ Richard Tobin <richard@inf.ed.ac.uk> was heard to say:
| The spec says that the output ports of the children of choose (when,
| otherwise), and try (group, catch), must match.  But I don't see
| anywhere where it says that the choose or try itself has the
| corresponding outputs (and that one of them is primary, if the
| children have primary outputs).  This needs to be said so that
| the sblings of the choose or try have those outputs in their
| readable ports.

I think the paragraph that reads

  The result of the p:choose is the result of the selected subpipeline.

is supposed to say that. I expanded that paragraph to read:

  The outputs of the p:choose are copies of the outputs of the
  selected subpipeline. The p:choose has the same number of outputs as
  the selected subpipeline with the same names. If the selected
  subpipeline has a primary output port, the port with the same name
  on the p:choose is also a primary output port.

I amended the description of p:try in a similar way.

Is that better?

                                        Be seeing you,
                                          norm

-- 
Norman Walsh <ndw@nwalsh.com> | O for a Muse of fire, that would ascend
http://nwalsh.com/            | / The brightest heaven of invention, /
                              | A kingdom for a stage, princes to act /
                              | And monarchs to behold the swelling
                              | scene!--William Shakespeare, Henry V