-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 12/21/10 11:21 AM, Marc Weber wrote: > Another question: Does ml provide some profiling ? Or how do you find > out where the compiler is spending most time?
If you hack up the Ur/Web makefile a bit, you need to use a mlton command line such as: mlton -profile time (... the rest of the mlton arguments ...) Running the resulting binary will result in a mlmon.out file, which you can then inspect with the mlprof tool. - --Gian -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJND9+1AAoJEDd5xfOXfbYMvJEH/jml/9Ku1KH6digU36NCB/3B lFaUNUtKUl6jCoXh2rNaeIi0c5q6Sfrs1DIQSP8H3uN5as9HmCsecmonVz7/u/LS /iX8r/AnXu/ustzQdvgibpC9tjOTIO3Ky4SK5vl5k5ZgGu1v3s+vqlolJ7+g0Wrl DvzxjGn4gEFXph4DgXM6BbRSHcUyBIjzclrE0SZH2AJJYqKtR7waJubhVOSFgoOc d/bwwhQv3qE84CrWI9IiwPTBloh9g1y9s6LWdIqlA5cDY0hsOASsTZ2Vush64udE KSbKZ17dA2CQagA4EzrAjcUXlwDMh/OB6u1w/vWffjmyQp0lCLSwWIwZ3U7QDww= =I+Xs -----END PGP SIGNATURE----- _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
