lazy pattern in HEAD

Michel が cvs HEAD に lazy pattern を導入。楽しいバージョン名は、

Objective Caml version 3.11+dev12 Private_abbrevs+natdynlink+lazy_patterns (2008-07-09)

ここまで長くなったことはないんじゃないか?

肝心の中身: lazy を pattern 中で書くことで Lazy.force と書かなくてよくなった。まあようするに Camlp4 の parser 拡張の一つ、 patterns を言語自体に入れたということで良いだろう:

match lazy (prerr_endline "hello") with
lazy () -> prerr_endline "world"
ということですな。実に意味のない例だが。 Pattern match compiler 自体も手を加えてるみたいだけどパッチと仏語読むのめんどいな。