磅（＃）在OCaml中的含义

Question

我正在执行OCaml分配，只是窥探了分配文件，在其中发现了我认为是生成的文件。 它有很多这样的代码，

  match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
      | 0 ->
# 81 "lexer.mll"
                     ( TOK_EOF      )
# 239 "lexer.ml"

  | 1 ->
# 82 "lexer.mll"
                     ( new_line lexbuf; TOK_WHITE )
# 244 "lexer.ml"

我对间隔感到抱歉，但这就是它在文件中的显示方式。 由于我真的不知道#字符是否应该像这样位于左侧，因此我只是按照显示的样子粘贴它。

# <number> <string>格式的行的含义是什么？

Answer 1

没错，这是一个生成的文件。 即它是从一个名为lexer.mll的文件（这是一个ocamllex文件）生成的。

以#开头的行将生成的文件中的代码与原始文件中的行相关联。 因此，例如# 82 "lexer.mll"意思是：“以下代码是从lexer.mll的第82行生成的”。 ocaml编译器将信息用于错误消息。 因此，如果.ml包含错误（由于程序员在.mll文件中编写了错误的代码而发生），该错误消息将指向.mll文件中的一行，而不是生成的.ml文件。