aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ocaml/examples
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:32:00 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:33:45 +0100
commit4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6 (patch)
tree62eaadc788f4426d18974f6c1cbf23b616d43edb /test/monniaux/ocaml/examples
parentf8f393317fcfee9613f09513f21dd0461c503d8c (diff)
downloadcompcert-kvx-4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6.tar.gz
compcert-kvx-4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6.zip
ocaml byterunner example
Diffstat (limited to 'test/monniaux/ocaml/examples')
-rwxr-xr-xtest/monniaux/ocaml/examples/quicksortbin0 -> 146138 bytes
-rw-r--r--test/monniaux/ocaml/examples/quicksort.ml11
2 files changed, 11 insertions, 0 deletions
diff --git a/test/monniaux/ocaml/examples/quicksort b/test/monniaux/ocaml/examples/quicksort
new file mode 100755
index 00000000..0b820167
--- /dev/null
+++ b/test/monniaux/ocaml/examples/quicksort
Binary files differ
diff --git a/test/monniaux/ocaml/examples/quicksort.ml b/test/monniaux/ocaml/examples/quicksort.ml
new file mode 100644
index 00000000..57ca5a03
--- /dev/null
+++ b/test/monniaux/ocaml/examples/quicksort.ml
@@ -0,0 +1,11 @@
+let rec quicksort gt = function
+ | [] -> []
+ | x::xs ->
+ let ys, zs = List.partition (gt x) xs in
+ (quicksort gt ys) @ (x :: (quicksort gt zs));;
+
+let l =
+ quicksort ( > ) [4; 65; 2; -31; 0; 99; 83; 782; 1]
+in
+List.iter (fun x -> Printf.printf "%d; " x) l;
+print_newline();