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 } >># ... >>

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

2012-03-11 Thread Moritz Lenz
On 03/11/2012 02:11 PM, Moritz Lenz wrote: > Just a small syntax nit: I think your example of 'will require BLOCK' is > a violation of the rule that we shouldn't have two terms in a row. Never mind, trait_mod:will is special-cased to allow that: token trait_mod:will { :s } I

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 C is called, are

[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 Date: 2012-03-11 (Sun, 11 Mar 2012) Changed paths: M S04-con

[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 Date: 2012-03-11 (Sun, 11 Mar 2012) Changed paths: M S04-con