compilation/flap/tests/02-Interpreter/68-sort.eval.hopix.human-readable

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" })