=head1 VERSION
-Version 0.01
+Version 0.02
=cut
our $VERSION;
BEGIN {
- $VERSION = '0.01';
+ $VERSION = '0.02';
}
=head1 SYNOPSIS
never returns C<1> argument but returns C<2> with probability C<1/2 * 1/2 = 1/4>, C<3> with probability C<1/2 * 1/2 + 1/2 * 1/2 = 1/2> and C<4> with probability C<1/4> too.
+=item * If a core function may return different numbers of scalars, each kind is considered equally possible.
+
+For example, C<stat> returns C<13> elements on success and C<0> on error. The according probability will then be C<< { 0 => 0.5, 13 => 0.5 } >>.
+
=item * The C<list> state is absorbing in regard of all the other ones.
This is just a pedantic way to say that "list + fixed length = list".
sub pp_const {
my ($self, $op) = @_;
- if (class($op) eq 'SVOP' and (my $sv = $self->const_sv($op))) {
- my $c = class($sv);
- if ($c eq 'AV') {
- return $sv->FILL + 1;
- } elsif ($c eq 'HV') {
- return 2 * $sv->FILL;
- }
+ my $sv = $self->const_sv($op);
+ my $c = class($sv);
+ if ($c eq 'AV') {
+ return $sv->FILL + 1;
+ } elsif ($c eq 'HV') {
+ return 2 * $sv->FILL;
}
return 1;
return (name($op) eq 'const') ? $self->expect_any($op) : 'list';
}
-sub pp_aassign { $_[0]->expect_any($_[1]->first) }
+sub pp_aassign {
+ my ($self, $op) = @_;
+
+ $op = $op->first;
+
+ # Can't assign to return
+ my ($p, $r) = $self->expect_list($op->sibling);
+ return $p => 0 if not exists $p->{list};
+
+ $self->expect_any($op);
+}
sub pp_leaveloop { $_[0]->expect_return($_[1]->first->sibling) }