Thank you.
2016-08-18 15:04 GMT+03:00 David Matthews :
> Nick,
> The first number is the count of the number of times the timer went off in
> the function. So most of the time was spent in Socket.recvVec. The
> numbers within the name are added by Poly/ML and typically represent the
> number of
Nick,
The first number is the count of the number of times the timer went off
in the function. So most of the time was spent in Socket.recvVec. The
numbers within the name are added by Poly/ML and typically represent the
number of arguments that the function takes. Sequences of strings and
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.
