On 4/20/04 10:42 AM, Dan Sugalski wrote:

Hm, so how would the "is required" trait that Damian posted work?  Would it
simply be shorthand for a run-time check that I don't have to write myself?
I was under the impression that it would work the way I described earlier:

    sub foo(+$a is required, +$b is required) { ... }

    foo();          # compile-time error!
    foo(1, 2);      # compile-time error!
    foo(a => 1, 2); # compile-time error!
    foo(a => 1);    # compile-time error!

    foo(a => 5, b => 7); # ok
    foo(b => 1, a => 2); # ok

It really is a shame about the inability to do it at compile-time with
methods, but shorthand for a run-time check in that case would be welcome
too :)

-John