1gcc -Dunix -O2 -fno-defer-pop -I../../../runtime -c -o cside.o cside.c 2ld -shared -o libcside.so cside.o 3mosml testcallback.sml 4Moscow ML version 1.99 (internal release) 5Enter `quit();' to quit. 6[opening file "testcallback.sml"] 7> val it = () : unit 8[opening file "../auxil.sml"] 9> infix 1 seq 10 val ('a, 'b) seq = fn : 'a * 'b -> 'b 11> val check = fn : bool -> string 12> val check' = fn : (unit -> bool) -> string 13> val range = fn : int * int -> (int -> bool) -> bool 14> val checkrange = fn : int * int -> (int -> bool) -> string 15[closing file "../auxil.sml"] 16> val it = () : unit 17> type cptr = cptr 18 val ('a1, 'b) app1 = fn : cptr -> 'a1 -> 'b 19 val ('a1, 'a2, 'b) app2 = fn : cptr -> 'a1 -> 'a2 -> 'b 20 val ('a1, 'a2, 'a3, 'b) app3 = fn : cptr -> 'a1 -> 'a2 -> 'a3 -> 'b 21 val ('a1, 'a2, 'a3, 'a4, 'b) app4 = fn : 22 cptr -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'b 23 val getcptr = fn : string -> cptr 24 val ('a1, 'a2, 'a3, 'a4, 'a5, 'b) app5 = fn : 25 cptr -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'b 26 val isRegistered = fn : string -> bool 27 val 'a register = fn : string -> 'a -> unit 28 val unregister = fn : string -> unit 29 val 'b var = fn : cptr -> 'b 30> val dlh = <dlHandle> : dlHandle 31> val fu = fn : unit -> unit 32> val fi = fn : int -> int 33> val fc = fn : char -> char 34> val fr = fn : real -> real 35> val fs = fn : string -> string 36> val fb = fn : bool -> bool 37> val fcur = fn : int -> char -> real -> string -> bool -> int 38> val ftup = fn : int * char * real -> int 39> val frec = fn : {age : int, givenname : string, surname : string} -> bool 40> New type names: =t 41 datatype t = 42 (t,{con Br : int * t * t -> t, con Brs : t list -> t, con Lf : t}) 43 con Br = fn : int * t * t -> t 44 con Brs = fn : t list -> t 45 con Lf = Lf : t 46 val fdat = fn : t -> int 47> val ffun = fn : (int -> real) -> int -> string 48> val frtup = fn : int -> int * bool 49> val frrec = fn : int -> {half : int, odd : bool} 50> val fconcat = fn : string -> string -> string 51> val test1 = true : bool 52> val test2 = true : bool 53> val test3 = true : bool 54> val test4 = true : bool 55> val test5 = true : bool 56> val test6 = true : bool 57> val test7 = true : bool 58> val test8 = true : bool 59> val test9 = true : bool 60> val test10 = true : bool 61 val test11 = true : bool 62> val test12 = true : bool 63> val test13 = true : bool 64> val test14 = true : bool 65> val test15 = true : bool 66> val test16 = true : bool 67> val test17 = true : bool 68> val test18 = true : bool 69User: 0.450 System: 0.000 GC: 0.000 Real: 0.451 70User: 0.350 System: 0.000 GC: 0.000 Real: 0.353 71