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/qsort-800000-reuse.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'comparison/Inpla/src/qsort-800000-reuse.in') diff --git a/comparison/Inpla/src/qsort-800000-reuse.in b/comparison/Inpla/src/qsort-800000-reuse.in index 7f41045..b1e2ae1 100644 --- a/comparison/Inpla/src/qsort-800000-reuse.in +++ b/comparison/Inpla/src/qsort-800000-reuse.in @@ -5,6 +5,7 @@ qsort(ret) >< (int x):xs => (*L)qsort(cntl)~left, qsort(cntr)~right, Append(ret, x:cntl)~cntr; + // Note: `Append' is implemented as built-in. @@ -12,6 +13,10 @@ part(int x, a, b) >< [] => a~(*L)[], b~(*R)[]; part(int x, a, b) >< (int y):ys | y b~(*R)(y:cnt), (*L)part(x, a, cnt)~ys | _ => a~(*R)(y:cnt), (*L)part(x, cnt, b)~ys; +//| y (*L)part(x, a, cnt)~ys, b~(*R)(y:cnt) // quite BAD! +//| _ => (*L)part(x, cnt, b)~ys, a~(*R)(y:cnt); // quite BAD! + + // creates a random list @@ -22,7 +27,7 @@ make_RandList(ret) >< (int n) // validation checks -valid(ret) >< [] => ret~False; +valid(ret) >< [] => ret~True; valid(ret) >< x:xs => (*L)valid_Cons(ret,x)~xs; valid_Cons(ret, int x) >< [] => ret~True; -- cgit v1.2.3