Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Proposal: p:finally cannot have a primary output port #829
We have two constraints:
It follows that if any (and therefore all) of the (non-final) branches of the
I think we should say that explicitly somewhere.
(Alternatively, I think we could imagine a universe in which constraint 1 and 2 only apply jointly; if none of the non-final subpipelines have a primary output port, the
If there's agreement on the point above, a subsidiary question arises. Consider:
According to the rules, the "finally" output port is primary because it doesn't say that it's not and it's the only output port from that subpipeline.
We could force users to put