p6rt
commented
6 years ago From shinobi.cl@gmail.com
I need the junction to be applied inside the regex, not at time of parameter binding, so i use the type Mu.
`
my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search(Mu $r where Regex) { grep $r, :v, @L }; say search( any(@rxs) ); (2 3 12 13 20 21 22 23)
my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search(Mu $r where Regex) { grep $r, :v, @L }; say search( all(@rxs) ); (23)
my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search(Mu $r where Regex) { grep $r, :v, @L }; say search( one(@rxs) ); Constraint type check failed in binding to parameter '$r'; expected anonymous constraint to be met but got Junction (one(rx/3/, rx/2/)) in sub search at \
line 1 in block \ at \ line 1 my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search(Mu $r where Regex) { grep $r, :v, @L }; say search( none(@rxs) ); Died with X::TypeCheck::Binding::Parameter in sub search at \
line 1 in block \ at \ line 1
`
Now, removing Mu, just because :). When used with none, a strange warning message appears
my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search($r where Regex) { grep $r, :v, @L }; say search( any(@rxs) ); (3 13 23) (2 12 20 21 22 23) my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search($r where Regex) { grep $r, :v, @L }; say search( all(@rxs) ); (3 13 23) (2 12 20 21 22 23) my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search($r where Regex) { grep $r, :v, @L }; say search( one(@rxs) ); (3 13 23) (2 12 20 21 22 23) my Regex @rxs = (rx/3/, rx/2/); my @L = (1 .. 23); sub search($r where Regex) { grep $r, :v, @L }; say search( none(@rxs) ); (3 13 23) (2 12 20 21 22 23) No such method 'handled' for invocant of type 'Bool'
-- -shinobi.cl-
Migrated from rt.perl.org#132780 (status was 'resolved')
Searchable as RT132780$