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. Thanks, /Autrijus/
pgpWz74qBjH50.pgp
Description: PGP signature
