I recently found out how ugly it is to pattern-match on a ref, using {contents=...}. This should be extremely easy to fix in the parser. Can it please be put into the next version of ocaml? ie. match x with| ref y -> ...-Yotam