Mercury "undefined reference" 使用本地模块时出现编译错误

Question

我有一个模块将 nat/1 导出到 test/generate 自然数：

:- module nat.

:- interface.

:- import_module int.

:- pred nat(int).
:- mode nat(in) is det.
:- mode nat(out) is multi.

:- implementation.

:- pragma promise_pure(nat/1).
nat(_::in).
nat(0::out).
nat(X::out) :- nat(Y), X = Y + 1.

和一个主模块在同一目录下试试：

:- module main.

:- interface.
:- import_module io.

:- pred main(io__state::di, io__state::uo) is cc_multi.

:- implementation.
:- import_module nat.

main(!IO) :- nat(X), print(X, !IO).

I 运行 mmc --make-int nat.m 成功生成接口文件，但是当我运行 mmc main.m 时出现以下错误：

/usr/bin/ld: main.o: in function `<predicate 'main'/2 mode 0>':
main.c:(.text+0x45): undefined reference to `<predicate 'nat.nat'/1 mode 1>'
collect2: error: ld returned 1 exit status

我正在使用 MMC version 20.06.1, on x86_64-pc-linux-gnu。

我是不是遗漏了什么明显的东西？代码改进也非常受欢迎。

Answer 1

在“mmc --make-int nat.m”之后，你需要运行的命令不是“mmc main.m”，但是“mmc main.m nat.m”。前者只编译main.m，后者还编译nat.m。两者都尝试从生成的结果构建可执行文件目标文件，但前者会失败，因为“nat”谓词的定义将在它不生成的目标文件中。

一般来说，与其尝试手动管理接口文件、目标文件和可执行文件的创建，使用自动化工具要容易得多构建系统：mmake 脚本或 mmc --make.

至于代码改进，我建议将 io__state 替换为简单的 io，它要短得多。我们添加了“io”作为“state”的同义词专门输入 io.m 以使其成为可能。

Mercury "undefined reference" 使用本地模块时出现编译错误

Mercury "undefined reference" compilation error when using local module

mercury