From b10fccefe9a6435328ff9d554995fb5710f74f26 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 17 Sep 2022 22:25:32 +0900 Subject: v0.10.0 --- comparison/Inpla/src/msort-260000-reuse.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'comparison/Inpla/src/msort-260000-reuse.in') diff --git a/comparison/Inpla/src/msort-260000-reuse.in b/comparison/Inpla/src/msort-260000-reuse.in index 7201ac7..14aa4a3 100644 --- a/comparison/Inpla/src/msort-260000-reuse.in +++ b/comparison/Inpla/src/msort-260000-reuse.in @@ -4,7 +4,7 @@ msort(ret) >< x:xs => (*L)msort_tail(ret, x)~xs; msort_tail(ret, int n) >< [] => ret~[n]; msort_tail(ret, int n) >< x:xs => - split(left,right) ~ (*R)(n:x:xs), + split(left,right) ~ n:(*R)(x:xs), msort(a)~left, msort(b)~right, (*L)merge(ret,b)~a; merge(ret, snd) >< [] => ret~snd; @@ -15,7 +15,6 @@ mergeCC(ret, int y, ys) >< (int x):xs | x <= y => ret~(x:cnt), (*L)mergeCC(cnt, y, ys) ~ xs | _ => ret~(y:cnt), (*L)mergeCC(cnt, x, xs) ~ ys; - split(right,left) >< [] => right~[], left~[]; split(right,left) >< x:xs => right~(*R)(x:cntl), left~cntr, (*L)split(cntr,cntl)~xs; -- cgit v1.2.3