From @coke

Opening a ticket on behalf of ovid...

---------- Forwarded message ----------
From​: Ovid <publiustemp-perl6compiler2@​yahoo.com>
Date​: Thu, Jul 29, 2010 at 9​:44 AM
Subject​: Rakudo Star silent exit on subset violation?
To​: perl6-compiler@​perl.org

I don't know if this is reported (I can't find a bug report for it).

I just downloaded and compiled Rakudo Star.

$ uname -a
Linux localhost.bbc.co.uk 2.6.32-24-generic #​38-Ubuntu SMP Mon Jul 5 09​:22​:14
UTC 2010 i686 GNU/Linux

The bug​:

   subset Int​::Positive of Int where { $_ > 0 };

   sub lotto (Int​::Positive $count, Int​::Positive $range) returns List {
     die "$range must not be less than $count" if $range < $count;
     return (1 .. $range).pick($count);
   }
   .say for lotto(-3,10);
Note that the first argument to "lotto" is negative and thus violates the type
constraint.  This code works fine if the first argument is a positive integer
less than the second argument, but exits with no output otherwise. Making the
second argument negative (and the first positive) hits the "die" line, so the
type constraint is simply being ignored for negative numbers.

If I change the first argument to a float such as 3.2, it seems to round it up
to 4.

Cheers,
Ovid--
Buy the book         - http://www.oreilly.com/catalog/perlhks/
Tech blog            - http://blogs.perl.org/users/ovid/
Twitter              - http://twitter.com/OvidPerl
Official Perl 6 Wiki - http://www.perlfoundation.org/perl6

--
Will "Coke" Coleda

From @perlpilot

Another data point .... if you just s/Int​:://g, it seems to DTRT​:

$ perl6 foo.p6
Constraint type check failed for parameter '$count'
  in 'lotto' at line 8​:foo.p6
  in main program body at line 13​:foo.p6

$ cat foo.p6

use v6;

subset Positive of Int where { $_ > 0 };

sub lotto (Positive $count, Positive $range) returns List
{
  die "$range must not be less than $count" if $range < $count;
  return (1 .. $range).pick($count);
}

.say for lotto(-3,10);

-Scott

On Fri Jul 30 07​:14​:54 2010, coke wrote​:

Opening a ticket on behalf of ovid...

---------- Forwarded message ----------
From​: Ovid <publiustemp-perl6compiler2@​yahoo.com>
Date​: Thu, Jul 29, 2010 at 9​:44 AM
Subject​: Rakudo Star silent exit on subset violation?
To​: perl6-compiler@​perl.org

I don't know if this is reported (I can't find a bug report for it).

I just downloaded and compiled Rakudo Star.

$ uname -a
Linux localhost.bbc.co.uk 2.6.32-24-generic #​38-Ubuntu SMP Mon Jul 5
09​:22​:14
UTC 2010 i686 GNU/Linux

The bug​:

   subset Int​::Positive of Int where { $_ > 0 };

   sub lotto (Int​::Positive $count, Int​::Positive $range) returns List
{
     die "$range must not be less than $count" if $range < $count;
     return (1 .. $range).pick($count);
   }
   .say for lotto(-3,10);
Note that the first argument to "lotto" is negative and thus violates
the type
constraint.  This code works fine if the first argument is a positive
integer
less than the second argument, but exits with no output otherwise.
Making the
second argument negative (and the first positive) hits the "die" line,
so the
type constraint is simply being ignored for negative numbers.

If I change the first argument to a float such as 3.2, it seems to
round it up
to 4.

Cheers,
Ovid--
Buy the book         - http://www.oreilly.com/catalog/perlhks/
Tech blog            - http://blogs.perl.org/users/ovid/
Twitter              - http://twitter.com/OvidPerl
Official Perl 6 Wiki - http://www.perlfoundation.org/perl6

--
perlpilot

The RT System itself - Status changed from 'new' to 'open'

From @coke

On Fri Jul 30 07​:14​:54 2010, coke wrote​:

Opening a ticket on behalf of ovid...

---------- Forwarded message ----------
From​: Ovid <publiustemp-perl6compiler2@​yahoo.com>
Date​: Thu, Jul 29, 2010 at 9​:44 AM
Subject​: Rakudo Star silent exit on subset violation?
To​: perl6-compiler@​perl.org

I don't know if this is reported (I can't find a bug report for it).

I just downloaded and compiled Rakudo Star.

$ uname -a
Linux localhost.bbc.co.uk 2.6.32-24-generic #​38-Ubuntu SMP Mon Jul 5
09​:22​:14
UTC 2010 i686 GNU/Linux

The bug​:

� �subset Int​::Positive of Int where { $_ > 0 };

� �sub lotto (Int​::Positive $count, Int​::Positive $range) returns
List
{
� � �die "$range must not be less than $count" if $range < $count;
� � �return (1 .. $range).pick($count);
� �}
� �.say for lotto(-3,10);
Note that the first argument to "lotto" is negative and thus violates
the type
constraint. �This code works fine if the first argument is a positive
integer
less than the second argument, but exits with no output otherwise.
Making the
second argument negative (and the first positive) hits the "die" line,
so the
type constraint is simply being ignored for negative numbers.

If I change the first argument to a float such as 3.2, it seems to
round it up
to 4.

Cheers,
Ovid--
Buy the book � � � � - http://www.oreilly.com/catalog/perlhks/
Tech blog � � � � � �- http://blogs.perl.org/users/ovid/
Twitter � � � � � � �- http://twitter.com/OvidPerl
Official Perl 6 Wiki - http://www.perlfoundation.org/perl6

This now (git-latest rakudo compiler) fails properly​:

$ ./perl6 foo
Constraint type check failed for parameter '$count'
  in sub lotto at foo​:1
  in block <anon> at foo​:6
  in <anon> at foo​:1

Closable with tests.

--
Will "Coke" Coleda

From @moritz

now tested in the ever-growing t/spec/S12-subset/subtypes.t

@moritz - Status changed from 'open' to 'resolved'