plunit测试显然在幕后创建了一个模块..。但是这个模块能被卸载吗？

Question

我想使用在SWI中实现的折叠式来运行一些经典风格的单元测试！

所以我想直接在终端输入它们：

[user].

然后复制粘贴：

:- begin_tests(exercise).

test(foo) :- bar.

:- end_tests(exercise).

这工作得很好。

..。但是如果我再次通过[user].加载测试--有一种类似西方世界的体验：

?- [user].
|: :- begin_tests(exercise).

ERROR: user://2:17:
ERROR:    module/2: No permission to redefine module `plunit_exercise' (Already loaded from user://1)
Warning: user://2:17:
Warning:    Goal (directive) failed: user:begin_tests(exercise)

该实现似乎为测试plunit_X创建了一个模块X。这事儿可以理解。

但是有办法卸载测试模块exercise吗？

一定有..。

请注意，您可以用档案/1卸载文件，但不能卸载模块？

更新：

不用使用[user].和[file]输入代码，而是使其工作。嗯。

Answer 1

因为我不知道如何重现你的问题，你必须自己测试这个问题。

使用模块/1

由于它不是从模块模块导出的，所以我猜modules:destroy_module(X)应该能工作。

因为它不是导出的谓词，也不是文档化的https://en.wikipedia.org/wiki/Caveat_emptor

编辑

不用使用[user].和[file]输入代码，而是使其工作。嗯。

user是一个预定义的模块，文件不是AFAIK。

?- current_module(X).
X = prolog ;
X = sysetm ;
X = user ;
X = predicate_options ;
X = base32 ;
X = read_util ;
X = win_menu ;
X = shlib ;
X = qsave ;
X = prolog_clause ;
X = prolog_history ;
X = pce_swi_hooks ;
X = prolog_stack ;
X = system ;
X = ansi_term ;
X = link_xpce ;
false.