diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:32 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:32 +0900 |
| commit | b10fccefe9a6435328ff9d554995fb5710f74f26 (patch) | |
| tree | 42fd557836de39d4a32a303c40f42393906a6e4c /comparison/Inpla/src/isort-20000-reuse.in | |
| parent | 6077933906dd637af93adb3714b476ccba724be1 (diff) | |
| download | inpla-b10fccefe9a6435328ff9d554995fb5710f74f26.tar.gz inpla-b10fccefe9a6435328ff9d554995fb5710f74f26.zip | |
v0.10.0
Diffstat (limited to 'comparison/Inpla/src/isort-20000-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/isort-20000-reuse.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/comparison/Inpla/src/isort-20000-reuse.in b/comparison/Inpla/src/isort-20000-reuse.in index 9d7c7ab..aa63652 100644 --- a/comparison/Inpla/src/isort-20000-reuse.in +++ b/comparison/Inpla/src/isort-20000-reuse.in @@ -1,11 +1,11 @@ // Insertion sort -isort(ret) >< [] => ret~[]; -isort(ret) >< x:xs => (*L)I(ret, x)~cnt, (*R)isort(cnt)~xs; +isort(ret) >< [] => ret~(*R)[]; +isort(ret) >< x:xs => (*R)I(ret, x)~cnt, (*L)isort(cnt)~xs; I(ret, int x) >< [] => ret~[x]; I(ret, int x) >< (int y):ys | x<=y => ret~(*L)(x:(*R)(y:ys)) -| _ => ret~(*L)(y:cnt), (*R)I(cnt, x)~ys; +| _ => (*L)I(cnt, x)~ys, ret~(*R)(y:cnt); // creates a random list |