Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff --git a/src/multi-dispatch.pod b/src/multi-dispatch.pod
- index 67ce236..eb07595 100644
- --- a/src/multi-dispatch.pod
- +++ b/src/multi-dispatch.pod
- @@ -144,12 +144,22 @@ this to count how often a type check occurs:
- =end programlisting
- -The first counter output is always C<0>, since the nominal types alone already
- -determine which candidate matches best, so the where-block is never executed.
- +This code defines three multis, one of which increases a counter whenever its
- +C<where> clause executes. Any Perl 6 compiler is free to optimize away type
- +checks it knows will succeed. In the current Rakudo implementation, the second
- +line with C<say> will print a higher number than the first.
- +
- +The first C<$counter> output is always C<0>, since the nominal types
- +alone already determine which candidate matches best, so the where-block
- +is never executed.
- The second output is at least C<1>. The compiler has to execute the
- where-block at least once to check if the third candidate can be called, but
- -the specification doesn not require the minimal possible number of runs.
- +the specification does not require the minimal possible number of runs.
- +This is illustrated in the second C<$counter> output. The specific
- +implementation used to run this test actually executes the where-block twice.
- +Keep in mind that the number of times the subtype checks blocks are
- +executed is implementation specific.
- =for author
- @@ -157,11 +167,6 @@ Verify Rakudo * behavior at press time.
- =end for
- -This code defines three multis, one of which increases a counter whenever its
- -C<where> clause executes. Any Perl 6 compiler is free to optimize away type
- -checks it knows will succeed. In the current Rakudo implementation, the second
- -line with C<say> will print a higher number than the first.
- -
- =begin sidebar
- You I<can> do this, but you should avoid it in anything other than example
Add Comment
Please, Sign In to add comment