[Ur] little benchmark on querying a table only

[Gian Perrone]

-----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-----