aboutsummaryrefslogtreecommitdiff
path: root/sample/msort.in
diff options
context:
space:
mode:
Diffstat (limited to 'sample/msort.in')
-rw-r--r--sample/msort.in28
1 files changed, 0 insertions, 28 deletions
diff --git a/sample/msort.in b/sample/msort.in
deleted file mode 100644
index 599990b..0000000
--- a/sample/msort.in
+++ /dev/null
@@ -1,28 +0,0 @@
-// Merge sort
-
-// Rules
-msort(ret) >< [] => ret~[];
-msort(ret) >< x:xs => ms_tail(ret, x)~xs;
-
-ms_tail(ret, n) >< [] => ret~[n];
-ms_tail(ret, n) >< x:xs =>
- split(left,right) ~ (n:x:xs),
- msort(a)~left, msort(b)~right, merge(ret,b)~a;
-
-merge(ret, snd) >< [] => ret~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
-| x <= y => ret~(x:cnt), mergeCC(cnt, y, ys) ~ xs
-| _ => ret~(y:cnt), mergeCC(cnt, x, xs) ~ ys;
-
-
-split(right,left) >< [] => right~[], left~[];
-split(right,left) >< x:xs =>
- right~(x:cntl), left~cntr, split(cntr,cntl)~xs;
-
-
-// Nets
-msort(ret)~[3,6,1,9,2];
-ret; \ No newline at end of file