>>257

ざっと ocamlexc 見てみた。

external 関数 (C 言語等の関数を呼出すための物で ML での定義が無いもの)
の exception raising 情報は、ML のソースが無いんだから分析しようが無い。
型情報のなかに明示する必要がある。ocamlexc の stdlib/pervasives.ml を
見てもらえばわかるけど、ocamlexc では external な値の型宣言の文法が
変更されていてこの情報を書き込む事になってる。この文法は正式な ocaml
にはもちろん入っていないので syntax error になる。

と言うわけで 3.07 の stdlib/*.ml の external 宣言の部分を書き直せば
動くんでないかい？ let module 構文がサポートされてないから
その辺りも拡張しないといけないが、まあ、いい演習だと思って
自分でやるか、 Francois Pessaux にメールを書いてちょーだい。