問題タブ [camlp4]

最近、OCaml の公式 github で発表されCamlp4ましたppx rewriters and extension points( https://github.com/ocaml/camlp4 ):

Camlp4 は、バージョン 4.01.0 まで公式の OCaml ディストリビューションの一部でした。それ以来、保守と学習が容易な単純なシステム (ppx リライターと拡張ポイント) に置き換えられました。

私はCamlp4DSL (OCaml から分離された構文) 用のパーサーを作成するために使用しています。

ppx rewritersでは、ツールで同じことができるかどうかお尋ねしたいと思いますか?

私の質問を読んでくれてありがとう！

私は現在、OCaml プログラム (かなり標準的/制限された文法を使用) を Racket に変換しようとしており、camlp4 を使用して中間表現への解析を行う方法があるかどうかを確認しようとしています。私は ocamlyacc と ocamllex を使用してレクサーとパーサーを構築しようとしましたが、文法がどれほど大きくなる可能性があるかを考えると、かなり複雑になりました。それで、私は周りを検索し、camlp4 にはこの機能の一部が既に組み込まれていることを発見しましたが、それを使用して一部の OCaml コードの AST を取得する方法を調べることができないようです。ドキュメント/例/アイデアはありますか? また、これをより良く行う方法について何か提案があれば、それも素晴らしいことです! ありがとう。

tcoqをインストールしようとしたところ、次のエラーが発生しました。

誰かが知っていますか：

1. エラーの意味
2. 修正方法は？

関連する投稿をオンラインで見ました：

https://coq-club.inria.narkive.com/h4i0KOH0/problem-compiling-coq

しかし、それはあまり役に立ちませんでした。やった：

彼らが示唆したように、それはうまく機能しているようです...

私はそうしmake cleanましたが、それは役に立ちませんでした。

INSTALL のステップ 3 をスキップしたことに気付きましたが、それが問題に関連しているのか、それとも何をするつもりなのかはわかりません。

ゲームパッドをインストールしようとしていますが、そのためには指示に従う必要があります。具体的には、次の 3 つのコマンドを実行しました。

最新のエラー:

そのエラーを読んだ後、奇跡的に と の両方のバージョンを印刷することが思いつきましocamlたcamlp5:

と：

明らかにそれは間違っているので、おそらく最初のステップは、それが私が必要とするものであるためcamlp5、動作するように修正する4.05.0ことです.

アンインストールしようとしcamlp5ましたが、拒否されました。