From 787dc13c837f0955fbd85b8f26a05d720d361333 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 24 Oct 2021 23:04:45 +0900 Subject: Upload the comparison directory --- comparison/Inpla/src/isort-40000-reuse.in | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 comparison/Inpla/src/isort-40000-reuse.in (limited to 'comparison/Inpla/src/isort-40000-reuse.in') diff --git a/comparison/Inpla/src/isort-40000-reuse.in b/comparison/Inpla/src/isort-40000-reuse.in new file mode 100644 index 0000000..00f0ecc --- /dev/null +++ b/comparison/Inpla/src/isort-40000-reuse.in @@ -0,0 +1,22 @@ +// Insertion sort +IS(ret) >< [] => ret~[]; +IS(ret) >< x:xs => (*L)I(ret, x)~cnt, (*R)IS(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; + + +const LIST_ELEM=40000; + +MkRandList(ret) >< (int n) +| n>0 => ret~(rd:cnt), (*L)MkRandList(cnt)~(n-1) + where rd=rand(10000) +| _ => ret~[]; + +MkRandList(cnt)~(LIST_ELEM), +IS(ret)~cnt; +ret; + + -- cgit v1.2.3