Bug #87443 for Type-Tiny: Dict type doesn't notice missing Bool elements

Tue Jul 30 10:09:13 2013 TIMB [...] cpan.org - Ticket created

Subject:

Dict type doesn't notice missing Bool elements

Given Dict[ a=>Bool, b=>Int ] a missing Int field is detected: $ perl -MTypes::Standard=Dict,Bool,Int -we '(Dict[ a=>Bool, b=>Int ])->assert_valid({a=>1})' {"a" => 1} did not pass type constraint "Dict[a=>Bool,b=>Int]" at -e line 1. but a missing Bool field isn't: perl -MTypes::Standard=Dict,Bool,Int -we '(Dict[ a=>Bool, b=>Int ])->assert_valid({b=>1})'

Tue Jul 30 16:39:59 2013 perl [...] toby.ink - Taken

Tue Jul 30 16:40:33 2013 perl [...] toby.ink - Status changed from 'new' to 'open'

Wed Jul 31 03:59:04 2013 perl [...] toby.ink - Correspondence added

Fixed on Github, and the following test cases have been added to the test suite... my $struct5 = Dict[ i => Maybe[Int], b => Bool ]; should_pass({ i => 42, b => undef }, $struct5); should_pass({ i => 42, b => '' }, $struct5); should_pass({ i => 42, b => 0 }, $struct5); should_pass({ i => 42, b => 1 }, $struct5); should_pass({ i => undef, b => 1 }, $struct5); should_fail({ b => 42, i => 1 }, $struct5); should_fail({ i => 42 }, $struct5); should_fail({ b => 1 }, $struct5); should_fail({ i => 42, b => 1, a => 1 }, $struct5); should_fail({ i => 42, a => 1 }, $struct5); should_fail({ a => 42, b => 1 }, $struct5);

Wed Jul 31 03:59:05 2013 perl [...] toby.ink - Status changed from 'open' to 'patched'

Wed Jul 31 17:20:31 2013 perl [...] toby.ink - Correspondence added

Just uploaded 0.021_04 which includes the fix for this.

Tue Aug 06 03:49:18 2013 perl [...] toby.ink - Correspondence added

Resolved in 0.022.

Tue Aug 06 03:49:19 2013 perl [...] toby.ink - Status changed from 'patched' to 'resolved'