OCaml: compilation of pattern matching | Hacker News Reader