Not all bugs are mine
I continued working on Tuesday's list of things to do. Unfortunately, I spent a large part of the day working on a bug ... of O'Caml (I think). The profiler seems to be broken when handling some codes generated by the parser/lexer generator. I have filed a bug report for it: hopefully they will fix it reasonably quickly so that I can profile my code.
Philip Wadler proposed a solution for adding pattern matching as syntactic sugar, which is much easier than the solution I outlined yesterday.