Index of /705/coursedir/old/insert

To test your solution to Exercise 2 of Assignment 3, do the following.

Load my insert.ml (or another correct/fast implementation):

  # #use "insert.ml";;

Load testing harness:

  # #use "insert-test.ml";;
  ...
  val test : (int -> int list -> 'a) -> (int -> int list -> 'a) -> unit = <fun>

Apply function test to correct/fast function, and give result a name:

  # let f = test insert;;
  val f : (int -> int list -> int list) -> unit = <fun>

Load your insert function:

  # #use "your-insert.ml";;

Apply f to your function:

  # f insert;;

Look at insert-test.ml to see what the tests are.