On Sat, Apr 30, 2005 at 09:13:26AM -0500, Abhijit Mahabal wrote:
> I do not see how any auto-threading occurs in that code. It is completely 
> innocuous in that sense, and I don't think that is what horrified David. 
> What was troublesome was, I think:
>       my Str|Int $x;
>       $x.foo(); # runs two methods and returns a junction

That would be absolutely horrible.

> I would like to be able to read the above code to mean:
>       type X ::= Scalar where Str|Int;
>       my X $x;  # $x = non int/non string now a runtime error
>       $x.foo(); # no different from if you had just said my $x

This is my current understanding in the implementation.


Attachment: pgpR9Y5Fk06Q3.pgp
Description: PGP signature

Reply via email to