[hcoop/debian/mlton.git] / regression / finalize.3.sml

fun test2 (str : string) =
    let open MLton.Finalizable
        val x = new str
    in addFinalizer (x, fn s => print (s ^ ": finalizer\n"));
       (fn () => (print "invoking touch\n"; touch x))
    end

val _ = (print "before test 4\n";
         let val t = test2 "test 4"
         in print "before GC 4a\n";
            MLton.GC.collect ();
            print "after GC 4a\n";
            t ();
            print "before GC 4b\n";
            MLton.GC.collect ();
            print "after GC 4b\n"
         end)
Commit	Line	Data
7f918cf1 CE	1	fun test2 (str : string) =
	2	let open MLton.Finalizable
	3	val x = new str
	4	in addFinalizer (x, fn s => print (s ^ ": finalizer\n"));
	5	(fn () => (print "invoking touch\n"; touch x))
	6	end
	7
	8	val _ = (print "before test 4\n";
	9	let val t = test2 "test 4"
	10	in print "before GC 4a\n";
	11	MLton.GC.collect ();
	12	print "after GC 4a\n";
	13	t ();
	14	print "before GC 4b\n";
	15	MLton.GC.collect ();
	16	print "after GC 4b\n"
	17	end)