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) |