OCamllex 无法导入核心包(转到 Python 编译器)

OCamllex cannot import Core package (Go to Python compiler)

我正在使用 OCamllex 和 Menhir 编写 Go to Python 编译器,但我的词法分析器无法导入核心包。

这是我的 lex.mll 文件:

{
   (* Header *)

  open Core.Std
  open Lexing
  open Parser

  exception SyntaxError of string

  let next_line lexbuf =
    let pos = lexbuf.lex_curr_p in
    lexbuf.lex_curr_p <-
      { pos with pos_bol = lexbuf.lex_curr_pos;
             pos_lnum = pos.pos_lnum + 1
      }

  let syntaxError msg = raise (SyntaxError (msg ^ " on line " ^ (string_of_int next_line)))


   (* End Header *)
}

[ lexer rules ]

我有一个 make 文件,make.sh 将词法分析器和解析器放在一起

#! /bin/bash
echo "==Creating compiler=="

echo "- OCamllex : lex.mll -> lex.ml"
ocamllex lex.mll

echo "- OCaml : lex.ml -> lex"
ocamlc lex.ml -o lex

# echo "- OCamlBuild -> main.ml"
# ocamlbuild -use-menhir main.native

但是当我 运行 ./make.sh 我得到这个错误:

==Creating compiler==
- OCamllex : lex.mll -> lex.ml
1030 states, 16995 transitions, table size 74160 bytes
- OCaml : lex.ml -> lex
File "lex.mll", line 4, characters 7-15:
Error: Unbound module Core

我可以通过编辑 .ocamlinit 文件在 ocaml 解释器中打开 Core,但是如何在 ocamlc 编译的脚本中导入 Core?

从脚本中删除所有内容,只使用

corebuild -use-menhir main.native

corebuild 将推断所有依赖项并编译它们,然后执行所有操作。