New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Constraint type check failed for Array parameter #5751
Comments
From bobn@ieee.orgThis works OK (copied from https://docs.perl6.org/language/list#Typing): These do not: Environment: |
From @zoffixznetSlightly golfed on 2016.09-200-g2c681c5: $ ./perl6 -e 'sub (Int @) {}(my Int @b)' |
From @zoffixznetAnd subsets that don't involve UInt seem to work fine: $ ./perl6 -e 'subset Foo; sub (Foo @) {}(my UInt @b)' |
From 1parrota@gmail.comFWIW, that's true on 2016.07.01 as well. build-date = 2016-07-22T12:37:00Z |
The RT System itself - Status changed from 'new' to 'open' |
From ctp@fastmail.co.ukNote the type must have a constraint: $ perl6 -e 'subset Foo of Int where * > 1; sub f(Foo @i){}; f(my Foo @a);' |
Migrated from rt.perl.org#129889 (status was 'open')
Searchable as RT129889$
The text was updated successfully, but these errors were encountered: