diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:59:00 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:59:00 +0900 |
| commit | d5b1f9b78b7fe4590cf91d72772d3c773d7daed1 (patch) | |
| tree | c71e5f12b2733bb0e3ef65734e6ff5a685a1c989 /comparison/Inpla/src/qsort-800000-reuse.in | |
| parent | 4508b877a0312ff0feeba6287e1224ed3d0e0a4a (diff) | |
| parent | 2de302bcb3fa7e12c83a58909232a527c4d5372e (diff) | |
| download | inpla-d5b1f9b78b7fe4590cf91d72772d3c773d7daed1.tar.gz inpla-d5b1f9b78b7fe4590cf91d72772d3c773d7daed1.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/Inpla/src/qsort-800000-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/qsort-800000-reuse.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/comparison/Inpla/src/qsort-800000-reuse.in b/comparison/Inpla/src/qsort-800000-reuse.in index 8bf7a83..810e446 100644 --- a/comparison/Inpla/src/qsort-800000-reuse.in +++ b/comparison/Inpla/src/qsort-800000-reuse.in @@ -7,9 +7,6 @@ QS(ret) >< (int x):xs => // Note: `Append' is implemented as built-in. -// Apnd(ret, a)~b --> ret ~ b@a -//Apnd(ret, a) >< [] => ret~a; -//Apnd(ret, a) >< x:xs => ret~(x:cnt), Apnd(cnt, a)~xs; Part(int x, a, b) >< [] => a~(*L)[], b~(*R)[]; Part(int x, a, b) >< (int y):ys |