diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-09 18:11:39 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-09 18:11:39 +0900 |
| commit | 825c557dfbac1beff9a3ab0b5ac5ef6e27462f35 (patch) | |
| tree | a8e38fbe329e357ff33c2a0a505bd97da948a875 /comparison/Inpla/src | |
| parent | 7b23eefd840a23d09859a4edf71eb30d80991714 (diff) | |
| download | inpla-825c557dfbac1beff9a3ab0b5ac5ef6e27462f35.tar.gz inpla-825c557dfbac1beff9a3ab0b5ac5ef6e27462f35.zip | |
v0.6.0
Diffstat (limited to '')
| -rw-r--r-- | comparison/Inpla/src/msort-800000.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/comparison/Inpla/src/msort-800000.in b/comparison/Inpla/src/msort-800000.in index e04803f..b77f353 100644 --- a/comparison/Inpla/src/msort-800000.in +++ b/comparison/Inpla/src/msort-800000.in @@ -8,7 +8,7 @@ MS_tail(ret, int n) >< x:xs => MS(a)~left, MS(b)~right, Merge(ret,b)~a; Merge(ret, snd) >< [] => ret~snd; -Merge(ret, snd) >< x:xs => MergeC(ret, x, xs)~snd; +Merge(ret, snd) >< x:xs => MergeCC(ret, x, xs)~snd; MergeCC(ret, int y, ys) >< [] => ret~(y:ys); MergeCC(ret, int y, ys) >< (int x):xs |