diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-02-13 15:41:16 -0500 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-02-13 15:41:16 -0500 |
commit | d621e6654bd9d117fbaf4fe389ae0da410768ab2 (patch) | |
tree | fc3334533a93044f169d936ea78c9597b34c6157 | |
parent | 778e33848bc033a73834ad256bb36a598c98e63a (diff) | |
download | roux-d621e6654bd9d117fbaf4fe389ae0da410768ab2.tar.gz |
remove debug code for heaps
-rw-r--r-- | lo3.ml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lo3.ml b/lo3.ml index 7693f69..502fd57 100644 --- a/lo3.ml +++ b/lo3.ml @@ -56,28 +56,3 @@ end = struct bbldn cmp arr 1 len; t end - -let rec popall h = - match Heap.pop h with - | None -> [] - | Some x -> x :: popall h - -let _ = - if true then - let rnd () = - (2047 land Random.bits ()) * - ((Random.bits () land 2) - 1) in - let rec f n = if n = 0 then [] else rnd () :: f (n-1) in - for n = 1 to 150 do - for i = 1 to 1_000 do - let l = f n in - (* List.iter (Printf.printf "%d, ") l; print_newline (); *) - let h = Heap.create compare in - List.iter (Heap.add h) l; - let l' = popall h in - assert (List.sort compare l = l'); - done; - Printf.printf "... %d\n" n; - flush stdout; - done; - print_string "OK!\n" |