![](/img/trans.png)
[英]In Ocaml Camlp5 is not installing (and it is necessary to use Quotations)
在 Ocaml 4 中,我必須在Quotation.add和Quotation.ExStr函數上使用Quotation模塊。 看來我必須安裝Camlp5庫(似乎是預處理器)才能這樣做。 找到了很多關於Camlp的信息,比如: Camlp5: https://camlp5.readthedocs. ...
[英]In Ocaml Camlp5 is not installing (and it is necessary to use Quotations)
在 Ocaml 4 中,我必須在Quotation.add和Quotation.ExStr函數上使用Quotation模塊。 看來我必須安裝Camlp5庫(似乎是預處理器)才能這樣做。 找到了很多關於Camlp的信息,比如: Camlp5: https://camlp5.readthedocs. ...
[英]OCaml guards syntax after a value
我不太明白這里使用的語法: 首先,我不明白使用警衛(垂直線)后跟parser是什么意思。 其次,我似乎找不到[<和>]包圍的條件的相關語法從這里得到代碼。 提前致謝! ...
[英]Camlp4 Parser function: expression has type int but an expression was expected of type float
我正在編寫一個簡單的解析器函數,該函數期望一個流中的項並返回一個int,但是由於某些原因,由於我無法理解的原因,編譯器一直期望float。 特別是考慮到該代碼實際上是llvm ocaml教程中的示例代碼 。 我嘗試過將兩個變量都類型轉換為int,並且通常只是在擺弄語法,但是該功能是如此簡 ...
[英]How to display location info from a parser?
解析器內部發生Stream.Error時如何顯示位置信息? 例如: let p = parser | [< '1; '2 ?? "1 expected at line L, column C" >] -> () 如何獲取信息流中的位置? 有沒有一種方法可以使用S ...
[英]How does one install camlp5 compatible with version 4.05.0 of ocaml?
我試圖按此處所述安裝tcoq和gamepad,但出現錯誤: 所以我發現我使用了錯誤的campl5版本: 因為我需要的是根據gamepad和tcoq與ocaml 4.05.0兼容的一個。 ...
[英]OCaml and preprocessor have incompatible versions error when installing tcoq
我試圖安裝tcoq ,我有以下錯誤: 有人知道嗎: 這個錯誤意味着什么? 怎么解決? 我在網上看了相關帖子: https://coq-club.inria.narkive.com/h4i0KOH0/problem-compiling-coq 但它並沒 ...
[英]js_of_ocaml Camlp4 Parse error in type definition
我正在嘗試使用js_of_ocaml構建該程序 。 根據此答案 ,我的makefile文件中包含以下行 但是,當我嘗試構建時,出現以下錯誤: 該文件的冒犯行是這樣的: 我對OCaml還是很陌生,所以我不太確定發生了什么。 -syntax camlp4o做什么的? 為 ...
[英]Lexer/filter for comments
是否有OCaml工具可以過濾源文件中的注釋,類似於gcc -E ? 理想情況下,我正在尋找的東西,將刪除一切,但評論,但其他的方式也將是有益的。 例如,如果有一種方法可以使用camlp4 / campl5 / ppx獲得OCaml注釋(包括用單個星號定義的非OCamldoc注釋),我 ...
[英]camlp5 IFNDEF STRICT doing the opposite of what I expect
HOL Light具有一些折磨的camlp5邏輯來更改ocaml的語法。 我已經對其進行了修補,使其可以在ocaml 4.04和6.17下工作,但僅在camlp5 嚴格模式下可以工作 。 我已將問題追溯到以下代碼 : 盡我的理解,這應該執行第二個宏分支,如果STRICT定義,第一,如 ...
[英]Writing a parser for a DSL in OCaml using ppx and extension point
最近,在OCaml官方github上宣布Camlp4被ppx rewriters and extension points ( https://github.com/ocaml/camlp4 )取代: Camlp4是官方OCaml發行版的一部分,直到版本4.01.0。 從那以后,它被 ...
[英]Make compatible ocaml, camlp4, ppx, node, js_of_ocaml, ocamlbuild
安裝npm和node ,用js_of_ocaml編譯OCaml文件會出錯,因此我做了opam switch reinstall system : 然后,我意識到ocamlfind不再工作了: PS: node --version給出v6.1.0 ; npm --version給 ...
[英]How to compile using Camlp4?
我正在測試Camlp4中的報價。 我的tester.ml程序如下: 我嘗試以各種方式對此進行編譯,例如。 但是,生成的可執行文件未按預期打印出“完成”。 我應該如何編譯該文件? ...
[英]Unbound module Camlp4
我知道此站點上存在類似的問題,但是沒有一個問題可以幫助解決我的問題。 我是OCaml的新手,正在使用以下有關使用Camlp4的教程https://github.com/ocaml/camlp4/wiki/OCaml_code_generation_tutorial 但是,我在第一行出 ...
[英]OCaml overload numeric literal with Camlp4
我正在使用一些組合實用程序編寫一個小腳本。 當我需要其他類型的數字文字(如0或1時,可以使用_0和_1 ,但是這種解決方案並不理想。 是否可以使用Camlp4在給定的上下文中重新解釋數字文字或添加帶有專用后綴的新型數字文字? ...
[英]How to review code generated by camlp4
我正在使用語法擴展名,想知道是否有可能以某種方式輸出生成的代碼。 我寧願避免將調試跟蹤信息放入擴展中,因為我不是開發人員,對camlp4一無所知。 ...
[英]How does Camlp5 (former Camlp4) parse expressions
我可以通過在互聯網上搜索來解決它,看起來像Camlp5(前Camlp4)使用遞歸下降解析器,而ocamlyacc是一個基於LALR的解析器生成器。 在LALR解析器生成器中,優先級和關聯性被映射到移位/減少沖突。 我的問題是像Camlp5這樣的遞歸下降解析器如何處理聲明性運算符優先級? ...
[英]Compiling with ocamlbuild and camlp5
我正在嘗試制作一個正在使用ocamlbuild進行編譯的項目,以避免使用常規的Makefile,我發現它會稍微復雜一些。 具體來說,我有一個語法擴展文件(extend.ml),需要首先對其進行編譯。 在常規的Makefile中,會有一個規則: 然后,為了計算依賴關系,將有如下規則 ...
[英]Use Camlp4 to parse a string of universal and existential quantifiers
我正在使用 Camlp4 來解析一串量詞,其中量化關鍵字和變量用逗號分隔。 一個例子如下所示: 這里, exists和forall是關鍵字, x,y,z,a,b,h,k是標識符。 對應的標記是IDENTIFIER of string EXISTS 、 FORALL和IDENTIFIER of s ...
[英]replace camlp4 with camlp5 in utop
我正在使用需要camlp5的 OCaml代碼; 但是,頂層(我正在使用utop )會自動加載較新的,不兼容的camlp4。 這些是啟動消息: 使用的.ocamlinit im如下所示: 我安裝camlp5與opam它表明,當我發出ocamlfind list ; 也文件ca ...
[英]making OPAM work with system compiler under MacOS X
我正在嘗試在MacOS下進行OPAM的非常基本的安裝。 使用macports,我安裝了以下軟件包: opam @ 1.2.0 ocaml-findlib @ 1.5.5 ocaml-camlp4 @ 4.02.0.1_1 當我執行opam init (不是ro ...