mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-26 16:20:40 +03:00
fix range functions
This commit is contained in:
parent
e2f7ed089b
commit
5b770be505
@ -1,5 +1,8 @@
|
||||
I32.range(ini: I32, end: I32): List<I32>
|
||||
I32.range.go(ini, end, [])
|
||||
if ini >=? end then
|
||||
[]
|
||||
else
|
||||
I32.range.go(ini, end, [])
|
||||
|
||||
I32.range.go(ini: I32, end: I32, result: List<I32>): List<I32>
|
||||
if ini =? end then
|
||||
|
@ -1,4 +1,7 @@
|
||||
Nat.range(ini: Nat, end: Nat): List<Nat>
|
||||
if ini >=? end then
|
||||
[]
|
||||
else
|
||||
Nat.range.go(ini, end, [])
|
||||
|
||||
Nat.range.go(ini: Nat, end: Nat, result: List<Nat>): List<Nat>
|
||||
|
@ -1,5 +1,8 @@
|
||||
U32.range(ini: U32, end: U32): List<U32>
|
||||
U32.range.go(ini, end, [])
|
||||
if ini >=? end then
|
||||
[]
|
||||
else
|
||||
U32.range.go(ini, end, [])
|
||||
|
||||
U32.range.go(ini: U32, end: U32, result: List<U32>): List<U32>
|
||||
if ini =? end then
|
||||
|
Loading…
Reference in New Issue
Block a user