From publiustemp-perl6internals2@yahoo.com

For this code​:

  use v6;

  class Foo {
  subset Filename of Str where { $_ ~~ :f }
  has Filename $.filename is rw;
  }
  my $foo = Foo.new(filename => 'no_such_file');

We get this error​:

  Assignment type check failed; expected , but got Str
  in Main (file <unknown>, line <unknown>)

This fails in master at db84bc06990c37b93fe987dcffab4ed9bf31de92

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

From @coke

On Sun Jan 03 06​:02​:05 2010, publiustemp-perl6internals2@​yahoo.com wrote​:

For this code​:

use v6;

class Foo {
subset Filename of Str where { $_ ~~ :f }
has Filename $.filename is rw;
}
my $foo = Foo.new(filename => 'no_such_file');

We get this error​:

Assignment type check failed; expected , but got Str
in Main (file <unknown>, line <unknown>)

This fails in master at db84bc06990c37b93fe987dcffab4ed9bf31de92

Cheers,
Ovid

This no longer fails at all, which seems wrong. (exits successfully, printing nothing.)

--
Will "Coke" Coleda

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

From @jnthn

On Sun Jan 03 06​:02​:05 2010, publiustemp-perl6internals2@​yahoo.com wrote​:

For this code​:

use v6;

class Foo {
subset Filename of Str where { $_ ~~ :f }
has Filename $.filename is rw;
}
my $foo = Foo.new(filename => 'no_such_file');

We get this error​:

Assignment type check failed; expected , but got Str
in Main (file <unknown>, line <unknown>)

This fails in master at db84bc06990c37b93fe987dcffab4ed9bf31de92

After updating the example (should be where { .IO ~~ :f } these days),
it does far better​:

Type check failed in assignment to '$!filename'; expected 'Filename' but
got 'Str'

Tagging testneeded.

/jnthn

From @moritz

now tested in S12-subset/subtypes.t

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