camlp5

camlp5 &dagger;

http://pauillac.inria.fr/~ddr/camlp5/
OCaml 3.09 までの camlp4 が名前をcamlp5と名前を変えて配布されている
- OCaml 3.10 以降の camlp4 はそれまでの camlp4 と全く互換性がないため
- Coq 等で使われている
- 現行の camlp4 は undocumentedな部分が多いため camlp4 の代わりにこちらを使うのがよいかもしれない
- 旧camlp4を使っているレガシーコードを新camlp5に移行するなど

ML構文のquotationを有効にする構文拡張？

camlp5 q_MLast.cmo pr_o.cmo pa_o.cmo test.ml

どうもocaml 3.08あたりまでのcamlp4は antiquote の $lid: .. $ 内に任意の式を許していたようだ。この性質を使ったコードは camlp5では許されない (もちろん現camlp4でも許されない。)
- $Grammar.Entry.parse Pcaml.expr (Stream.of_string 文字列)$ などとすれば良い
  - これを真似した： http://cristal.inria.fr/~ddr/camlp5/doc/htmlc/quot.html#b:Example-without-antiquotation-node
- たとえば expr なら Pcaml.expr, class_expr なら Pcaml.class_expr とする
同じく3.08あたりのcamlp4と antiquotationの種類が異なるようだ。
```
inherit $lid: str$
```
などとすると
```
Parse error: illegal begin of class_expr_eoi
```
と怒られる。 strの内容にもよるが
```
inherit $Grammar.Entry.parse Pcaml.class_expr (Stream.of_string str)$
```
とするか、
```
inherit $list: [str]$
```
とする（後者はcamlp5 6系でエラー）．
3.08 ではpr_o.cmoがデフォルトで標準出力に出力したようだがcamlp5はそうではない…ように見える？？
- ファイル名が空と判定されて
```
Fatal error: exception Sys_error(": No such file or directory")
```
  と言われて落ちる。
```
Pcaml.input_file := "-";
```
  とすれば標準出力に出るようになった。
ここまで調べたことを使って O'Jacare を camlp5 に移植した。 https://sites.google.com/site/keigoattic/o-jacare-camlp5-patch