This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
compilation/flap/tests/02-Interpreter/68-sort.eval.hopix.human-readable

74 lines
1.4 KiB
Text
Raw Permalink Normal View History

2023-10-25 15:16:53 +02:00
fun concat (l1, l2) =
match (l1) {
| N -> l2
| C (x, xs) -> C (x, concat (xs, l2))
}
let l = C (1, C (2, N))
let l = concat (l, l)
let l = concat (l, l)
let l = concat (l, l)
let l = concat (l, l)
let l = concat (l, l)
let l = concat (l, l)
fun len (l) =
match (l) {
| N -> 0
| C (x, xs) -> 1 + len (xs)
}
fun sorted (l) =
match (l) {
| N | C (_, N) -> true
| C (x, C (y, _) & l) -> x <=? y && sorted (l)
}
let l2 = C (1, C (2, C (6, C (7, N))))
let l3 = C (-1, C (2, C (6, C (70, N))))
let l4 = C (-1, C (20, C (6, C (70, N))))
fun not (b) = if (b) then { false } else { true }
fun sort (l) =
match (l) {
| N -> N
| C (x, xs) -> match (pivot (x, xs)) {
| (l1, l2) ->
let l1 = sort (l1);
let l2 = sort (l2);
concat (l1, C (x, l2))
}
}
and pivot (x, l) =
match (l) {
| N ->
(N, N)
| C (y, ys) ->
match (pivot (x, ys)) {
| (l1, l2) ->
if (y >? x) then { (l1, C (y, l2)) } else { (C (y, l1), l2) }
}
}
fun print (l) =
match (l) {
| N -> print_string ("\n")
| C (x, xs) -> print_int (x); print_string (" "); print (xs)
}
fun show (l) =
print (l);
l
let r =
sorted (sort (l)) &&
sorted (sort (l2)) &&
sorted (sort (l3)) &&
sorted (sort (l4))
let test =
print_string ("This test is ");
print_string (if (r) then { "OK!\n" } else { "KO!\n" })