X::Phaser::PrePost Reference

Error due to a false return value of a PRE/POST phaser

What it is #

Routines #

Signatures are reproduced from the documentation, including their declared return types. A routine listed here is part of the type's published interface; whether Raku++ implements it is a separate question, answered by the examples below.

method phaser #

method phaser(--> Str:D)

Returns Str:D.

Returns the name of the failed phaser, "PRE" or "POST".

method condition #

method condition(--> Str:D)

Returns Str:D.

Returns the part of the source code that describes the phaser condition.

Examples, run three ways #

Every example below comes from the official documentation, together with the output that documentation asserts. Each was then executed by Rakudo and by Raku++ when this page was built. Where the three agree, one result is shown; where they do not, all three are — because which of them is wrong is exactly the information worth having.

1 no-output · 1 rakudo-differs

class X::Phaser::PrePost is Exception { }

sub f($x) { PRE { $x ~~ Int } };
f "foo";
CATCH { default { put .^name, ': ', .Str } };
# OUTPUT: X::Phaser::PrePost: Precondition '{ $x ~~ Int }' failed«␤»

X::Phaser::PrePost: Precondition '{ $x ~~ Int }' failed