Comment by leshow

I was under the impression that Ocaml was single threaded? How is it that they have type checker that runs in parallel?