Merge pull request #1996 from rtfeldman/add_list_all

adding List.all
This commit is contained in:
Richard Feldman 2021-11-19 17:55:04 -05:00 committed by GitHub
commit 49fd864a2f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
17 changed files with 168 additions and 10 deletions

View file

@ -4308,6 +4308,12 @@ pub fn with_hole<'a>(
let xs = arg_symbols[0];
match_on_closure_argument!(ListAny, [xs])
}
ListAll => {
debug_assert_eq!(arg_symbols.len(), 2);
let xs = arg_symbols[0];
match_on_closure_argument!(ListAll, [xs])
}
ListKeepOks => {
debug_assert_eq!(arg_symbols.len(), 2);
let xs = arg_symbols[0];