Ошибка предварительной обработки в комментариях к коду

Question

Я получил эту ошибку при компиляции моего кода с corebuild:

~/project $ corebuild debug.byte
ocamlfind ocamldep -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -modules globals.ml > globals.ml.depends
+ ocamlfind ocamldep -syntax camlp4o -package bin_prot.syntax -package sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -package core -modules globals.ml > globals.ml.depends
File "globals.ml", line 744, characters 57-17803 (end at line 1402, character 0):
Quotation not terminated
Preprocessing error on file globals.ml
Error while running external preprocessor
Command line: camlp4 '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/ocaml/camlp4' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/type_conv' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/ocaml' '-I\
' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/ocaml' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/bin_prot' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/bin_prot' '-I' '/Users/mapleleaf/.opam/4.0\
1.0dev+trunk/lib/ocaml' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/num' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/sexplib' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/sexplib' '-I' '/Us\
ers/mapleleaf/.opam/4.01.0dev+trunk/lib/comparelib' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/comparelib' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/fieldslib' '-I' '/Users/mapleleaf/.opam/4\
.01.0dev+trunk/lib/fieldslib' '-I' '/Users/mapleleaf/.opam/4.01.0dev+trunk/lib/variantslib' '-I

Оскорбительная строка такова:

let allow_imm_inv = ref true (* imm inv to add of form @M<:v<:@A *)

Как это возможно? Я думал, что camlp4 должен игнорировать символы кавычек в комментариях к коду?

Answer 1

CamlP4 не "игнорирует" закомментированные цитаты. Они должны быть сбалансированы даже в комментариях.

Это так же, как OCaml требует строковых кавычек, сбалансированных в комментариях. Например:

(* " *)        <-  rejected as a syntax error

отклоняется как синтаксическая ошибка. Это может звучать странно, но полезно легко закомментировать строки типа " *) ":

(* " *) " *)   <-  a valid comment (the syntax highlight gone crazy though)

В вашем примере происходит то же самое, но для цитаты P4 <:XXX< >>, Исправить это легко. Используйте пробел, как:

(* @M <: v <: @A *)