使用ocamlbuild在Camlp4中使用OCaml語法擴展

Question

我在使用我的camlp4解析器中的deriving-ocsigen語法擴展時遇到問題。我的解析器被稱爲pa_debug.ml

這裏的標籤文件：

<pa_debug.ml>: pp(camlp4orf.opt), package(deriving-ocsigen.syntax), syntax(camlp4o) 

當

ocamlbuild -libs dynlink,camlp4lib,deriving -cflags -I,+camlp4,-dtypes -lflags -I,+camlp4,-dtypes -use-ocamlfind pa_debug.cmo 

編譯我收到以下錯誤：

Warning: -pp overrides the effect of -syntax partly 
File "pa_debug.ml", line 103, characters 66-67: 
While expanding quotation "expr" in a position of "expr": 
Parse error: [expr] expected after [infix operator (level 0) (comparison operators, and some others)] (in [expr]) 

在第二齣現的錯誤這段代碼的一行：

... 
let fun_id = get_fun_id bi in 
let app = <:expr< Debug.ho_1 $str:fun_id$ (Show.show<int>) (Show.show<int>) >> in 
let debug_fun_body = mk_appln _loc app new_patts in 
... 

在代碼中，我輸入要在引號中使用派生語法。但似乎預處理器並不瞭解引用中存在「<」和「>」比較運算符。如果我在不帶引號的其他文件中使用Show.show<int>語法，它將編譯時不會出錯。

我見過solution修復-pp overrides the effect of -syntax問題，但我不明白。有人可以向我解釋或建議一些其他方法來解決它嗎？

Answer 1

現在您發佈了您的代碼段，我相信問題在於您在報價單內使用了Camlp4擴展。我需要檢查是否是在一般的情況下允許的（沒有的報價解析器是否使用預定義的解析器問題，或者也延伸與傳遞到編譯以前擴展），而且特定擴展名是否」重新使用經修訂的語法的作品，你通過你的camlp4orf（or調用使用意味着環境代碼是在原有的語法，而在-報價代碼是修改後的語法，這是在報價有時首選，因爲它是那麼模糊 - f意味着「完整」，通常的擴展（流解析器等）被激活）。

如果「推導」不被用在修訂語法中，那麼修訂後的引用可能根本不起作用。無論如何，這可能是Camlp4特有的問題，而不是與ocamlbuild相關的問題。