Re: "returns" and context

[Rod Adams]

Sam Vilain wrote:

Rod Adams wrote:
How do I specify the signature of a context-sensitive function?
    sub foo() returns (what?) {
        return want ~~ Scalar ?? cheap_integer_result :: List_of_Sheep;
    }

I suspect a typed junction would look like : "Junction of Int|Str".


Not quite.  AIUI that means a Junction of which the members are Int or 
Str.


Yep, which is how I interpreted the question inside the parens inside 
the paragraph, completely ignoring the question in the code block, since 
Gaal answered it himself.


-- Rod Adams