[MLton-devel] -profile time and the native codegen

[Stephen Weeks]

Matthew, I was wondering about a possible imprecision in time
profiling introduced by the native codegen.  When compiling -profile
time, the type checker for Machine makes sure that all blocks (except
for those of Kind.Func) begin with a ProfileLabel.  I was wondering
though, what happens with new blocks created by the native codegen.
Will those mostly fall in the right place?  How difficult would it be
to add a ProfileLabel to such blocks (and modify the labels in
profileInfo)?



-------------------------------------------------------
This SF.NET email is sponsored by: Thawte.com - A 128-bit supercerts will
allow you to extend the highest allowed 128 bit encryption to all your 
clients even if they use browsers that are limited to 40 bit encryption. 
Get a guide here:http://ads.sourceforge.net/cgi-bin/redirect.pl?thaw0030en
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel