(* test/callback.sml   sestoft@dina.kvl.dk 1999-08-09*) use "auxil.sml"; load "Callback"; local    open Callback	in val test1a = check'    (fn _ => (register "mkstr" makestring; isRegistered "mkstr")); val test1b = (register "mkstr" abs; "WRONG")             handle Fail _ => "OK" | _ => "WRONG"; val test1c = check'    (fn _ => (unregister "mkstr"; not (isRegistered "mkstr"))); val test1d = check'    (fn _ => (unregister "mkstr"; register "mkstr" abs; isRegistered "mkstr")); val test2a = check'    (fn _ => isRegistered "Callback.register"             andalso isRegistered "Callback.unregister") val test3a = (getcptr "foo"; "WRONG")             handle Fail _ => "OK" | _ => "WRONG"; end