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.