> Did you see this on comp.lang.functional? Clearly OCaml is not quite safe- > for-space. Pretty bad when the source of the library stuff has to work around > this. Yeah I saw it. Another subtle reason not to use OCaml. Hopefully they will answer Daniel's subsequent question. My bet is that they will say that they leave pattern matching unspecified for efficiency reasons :-)