On Thu, Oct 20, 2005 at 09:59:49AM -0600, Luke Palmer wrote:
: How about this:
:
: sub foo(c|T $x) {
: my sub util (c|T $in) {...}
: util($x)
: }
:
: Is that c|T in util() a new, free type variable, or am I asserting
: that the type of util()'s argument must be the same type as $x?It's a new T according to the current thinking. Just use T if you want the same one. (But that does force util to be recloned on every entry to foo, I expect.) Larry
