Merge pull request #1761 from rtfeldman/giesch

Add List.dropAt
This commit is contained in:
Folkert de Vries 2021-10-04 15:01:17 +02:00 committed by GitHub
commit fa4875da83
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
14 changed files with 207 additions and 19 deletions

View file

@ -1010,6 +1010,7 @@ define_builtins! {
31 LIST_SORT_WITH: "sortWith"
32 LIST_DROP: "drop"
33 LIST_SWAP: "swap"
34 LIST_DROP_AT: "dropAt"
}
5 RESULT: "Result" => {
0 RESULT_RESULT: "Result" imported // the Result.Result type alias