[MLton-user] Unsafe mode? Incantation to disablle array bounds checks.

Florian Weimer fw at deneb.enyo.de
Thu Nov 1 03:28:44 PST 2007


* Matthew Fluet:

> The "search" box on the mlton.org website does a google search, but
> limits it to the mlton.org domain, which includes all the mailing list
> archives. That can be useful.

For some bizarre reason, Google does not index the Wiki pages.  Perhaps
due to this line in most of the generated HTML:

  <meta name="robots" content="index,nofollow">

"nofollow" neans that the spider does not traverse the whole site.



More information about the MLton-user mailing list