Maybe I should wait for the entire picture here, but in cases like this
(int $x, string $y) = some_function()
it would be nice to pass in both type _and_ number of return values. Or,
more generally, to consider the type of a list to be a list of the types
of its members. This means that types can become arbitrarily complex, so
it should probably be possible for a routine to say "here's a PMC holding
the return type".
/s
On 18 Sep 2002 [EMAIL PROTECTED] wrote:
> +=item Version 1.1
> +
> +We now call with a frame, rather than pushing on the stack, and we
> +return frames, rather than returning a stack. We also pass in context
> +information for the return.
> +
> =item Version 1.0
>
> +=item I3
> +
> +The return type expected. This is the identifier number for the
> +class. A return type of 0 is void context, -1 is unknown, and -2 and
> +down are the number of expected return variables, negated, minus
> +one. (So -2 means we expect 1 variable, -3 means we expect 2, -4
> +means we expect 3, and so forth)
