>>636

とりあえず
let efprintf fmt = Printf.kprintf (fun s -> prerr_endline s; "") fmt;;
で 90% くらい実現できるんじゃないかな？ 返り値が () じゃなくて "" に
なっちゃうのが美しくないけど。

# これに限らず stderr が non-buffering だといいのにと思うことはありますね。