[MLton-user] profile bug

[Sean McLaughlin]

Hello,

  I'm linking to some c++ code, and found what I suspect to be a bug
with mlprof.  I don't know
what's happening, but when a destructor is called on a static class member,
mlprof won't work.  The example is attached.

Best,

Sean
-------------- next part --------------
A non-text attachment was scrubbed...
Name: prof-bug.tgz
Type: application/x-gzip
Size: 529 bytes
Desc: not available
Url : http://mlton.org/pipermail/mlton-user/attachments/20071201/d3e4a0e7/prof-bug.bin