Re: DBC-ish PRE and POST phasers, spec clarifications

2012-03-11 Thread Moritz Lenz
On 03/11/2012 03:21 AM, Damian Conway wrote: Carl asked: class A { method foo($x) { PRE { $x 10 } # ... } } class B is A { method foo($a, $b, $c) { PRE { [] $a, $b, $c } # ... } } When CB.foo is

Re: DBC-ish PRE and POST phasers, spec clarifications

2012-03-11 Thread Carl Mäsak
Carl (), Damian ():    class A {        method foo($x) {            PRE { $x 10 }            # ...        }    }    class B is A {        method foo($a, $b, $c) {            PRE { [] $a, $b, $c }            # ...        }    } When CB.foo is called, are both CPRE blocks meant to be

[perl6/specs] 578e3c: [S04] un-spec method-level PRE/POST

2012-03-11 Thread GitHub
Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 578e3cbf3189098e7e854d6222905218d7e67ebc https://github.com/perl6/specs/commit/578e3cbf3189098e7e854d6222905218d7e67ebc Author: Carl Masak cma...@gmail.com Date: 2012-03-11 (Sun, 11 Mar 2012) Changed

[perl6/specs] 937f37: [S04] unspec submethod PRE/POST

2012-03-11 Thread GitHub
Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 937f37f7e03a53a6ee167556ab7ab4f0d14c43ae https://github.com/perl6/specs/commit/937f37f7e03a53a6ee167556ab7ab4f0d14c43ae Author: Carl Masak cma...@gmail.com Date: 2012-03-11 (Sun, 11 Mar 2012) Changed