singeli collect

This commit is contained in:
dzaima 2022-03-20 00:28:44 +02:00
parent ba6e2adb5d
commit 60d3ba8c64
2 changed files with 9 additions and 1 deletions

View File

@ -39,6 +39,14 @@ def unroll{vars,begin,end,block & knum{begin} & knum{end}} = {
} }
f{begin,end} f{begin,end}
} }
def collect{vars,begin,end,block & knum{begin} & knum{end}} = {
def f{i,l & i==l} = tup{}
def f{i,l & i!=l} = {
def r = exec{i, vars, block}
merge{tup{r}, f{i+1, l}}
}
f{begin,end}
}
def for{vars,begin,end,block} = { def for{vars,begin,end,block} = {
i:u64 = begin i:u64 = begin
while (i < end) { while (i < end) {