lab1_test.sml

(* test test_name test_function
   TYPE: string -> (unit -> bool) -> unit
   PRE: true
   POST: ()
   SIDE-EFFECTS: any side-effects of test_function () other than
     exceptions; prints whether the test test_name succeeded (i.e.,
     test_function () = true), failed, or an exception was raised
 *)
fun test test_name test_function =
    (
        if test_function () then
            print (" + SUCCESSFUL TEST, name: " ^ test_name ^ "\n")
        else
            print (" - FAILED TEST, name: " ^ test_name ^ "\n")
    )
    handle _ =>
        print (" - EXCEPTION RAISED IN TEST, name: " ^ test_name ^ "\n");


(* Do not modify the following line. Rename your file instead.
   The file that you submit needs to have this name. *)
use "lab1.sml";


(* TYPE: unit -> unit
   PRE: true
   POST: ()
   SIDE-EFFECTS: performs several tests and prints their results
 *)
(fn () =>

    (
        (* Test B *)

        test "B.1_1"
            (fn () => plus 1 1 = 2);

        test "B.1_2"
            (fn () => plus 7 4 = 11);

        (* Test C *)

        test "C.1"
            (fn () => ( fun1 0 = 42; true ));

        test "C.2"
            (fn () => ( fun2 0 0 = 42; true ));

        test "C.3"
            (fn () => ( fun3 0 = (42, 42); true ));

        test "C.4"
            (fn () => ( fun4 (0, 0) = 42; true ));

        test "C.5"
            (fn () => ( fun5 0 0.0 "foo" = "bar"; true ));

        test "C.6"
            (fn () => ( fun6 (0, ("foo", "bar", 0)) = (42, "baz"); true ));

        (* Test D *)

        test "D_1"
            (fn () => lcm 1 = 1);

        test "D_2"
            (fn () => lcm 3 = 6);

        test "D_3"
            (fn () => lcm 5 = 60);

        test "D_4"
            (fn () => lcm 10 = 2520)
    )

) ();