"returns" and context

How do I specify the signature of a context-sensitive function?

     sub foo() returns (what?) {
         return want ~~ Scalar ?? cheap_integer_result :: List_of_Sheep;
     }

If it were two subs, one would "is returns" Int and the other List of
Sheep. The draft S29 uses things like Int|List to express this kind
of thing but that looks weird to me (how would you return a typed
junction?). S06 and E06 don't raise this issue.

-- 
Gaal Yahas <gaal@forum2.org>
http://gaal.livejournal.com/

• "returns" and context by Gaal Yahas
• Re: "returns" and context by TSa
• Re: "returns" and context by Rod Adams
• Re: "returns" and context by Sam Vilain
• Re: "returns" and context by Rod Adams