develooper Front page | perl.perl6.language | Postings from May 2004

is rw trait's effect on signature

Thread Next
Aaron Sherman
May 6, 2004 10:39
is rw trait's effect on signature
Message ID:
There's a subtle problem / feature resulting from the "is rw" trait that
may be so obvious that I'm making a fool of myself, or it might be that
it's not yet occurred, but I don't recall seeing discussion of it.

The simple case is:

	sub foo(X $i is rw) {...}
	class X {...}
	class Y {...}
	my Y $var = 'something';

In this case, something kind of interesting has to happen.

Either the signature checking has to verify that Y isa X (and thus can
be used polymorphically as X, not just converted to X) ...

... or, it has to do something of the sort:

	{ my X $tmp = $var; foo($tmp); $var = $tmp; }

which has its own problems, of course.

Were either of these the intention or am I missing something?

"is ref" probably has the same concern.
Aaron Sherman <>
Senior Systems Engineer and Toolsmith
"It's the sound of a satellite saying, 'get me down!'" -Shriekback

Thread Next Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at | Group listing | About