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