topdown: add numbers.range_step built-in function (#6187)

Fixes: #6186
Signed-off-by: Sebastian Spaink <sebastianspaink@gmail.com>
This commit is contained in:
Sebastian Spaink
2023-08-30 04:09:54 -05:00
committed by GitHub
parent 519eea79e6
commit c28eaf7fb4
5 changed files with 212 additions and 16 deletions
+23
View File
@@ -2895,6 +2895,29 @@
"type": "function"
}
},
{
"name": "numbers.range_step",
"decl": {
"args": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"result": {
"dynamic": {
"type": "number"
},
"type": "array"
},
"type": "function"
}
},
{
"name": "object.filter",
"decl": {