Hello.
There is profiler output for ProfileTime profileMode:
10 GARBAGE COLLECTION (total)
11 servers_stream(5)c_cb(1)
12 ForeignMemory.addFree(2)
12 VectorSliceOperations().subslice(3)
13 ForeignMemory.memoise(2)(1)
14 main_handle(1)
15 Int.scan(3)read_digits(3)
17 client_stream(7)to_channel(2)
18 ForeignMemory.memoise(2)(1)
23 client_stream(7)s_cb(1)(1)
29 ThreadLib.protect(3)
30 String.concat(1)
35 CoParser.takeStr(1)(1)
41 Substring.string(1)
109 CRC32.crcstringi(2)loop(2)
329 EV.kevent(4)
1132 Socket.recvVec'(3)
Where can I get to know the meaning of these numbers?
Best regards, Nick.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
