profiling

Stephen Weeks MLton@sourcelight.com
Mon, 9 Apr 2001 19:48:36 -0700 (PDT)


> I  have the profiling stuff ready to go, but it isn't clear to me just what I
> should #include in the C file. 

Excellent.  Put the code in src/runtime/ and #include "my-lib.h", which contains
a lot of your stuff.  Let me know how it compiles there.