打印消息升起时出错例外：type_error在plunit run_tests上

Question

这些是在Chess.pl中定义的

:- dynamic drop/1.
:- dynamic start/1.

a_drop(X) :- piese(X), piese_pos(X, Y), \+ on(Y), assertz(drop(X)).
a_pickup(X) :- retract(drop(_-_-X)).
a_clear:- retract(drop(_)).

print_drops:- forall(drop(X), write(X)).


on(X) :- once(drop(_-_-X)).
off(X) :- \+ drop(_-_-X).

，我有此测试文件：

:- begin_tests(chess).

:- include(chess).

clear_board :- a_clear.

  board_1_setup :- a_drop(b-r-(b-6)), a_drop(w-k-(d-5)), a_drop(w-b-(c-4)), a_drop(b-b-(b-3)).

test(hello, [
  setup(board_1_setup),
  cleanup(clear_board)
]) :- on(b-4).


:- end_tests(chess).

运行此命令时： swipp -g run_tests -t halt _chess.plt

这是输出。

% PL-Unit: chess
ERROR:
    [[ EXCEPTION while printing message url('/home/eguneys/chess/pro/_chess.plt':10)
       with arguments []:
       raised: type_error(text,url('/home/eguneys/chess/pro/_chess.plt':10))
    ]]
:
        test hello: failed

 done
% 1 test failed
% 0 tests passed
ERROR: -g run_tests: false

我希望测试失败，但是有了友好的消息，这是什么错误垃圾。

请帮忙。

例如，当我测试时，测试会通过：...： - on（b-6）。

Answer 1

这似乎是在开发版本中修复的（ppa：swi-prog/devel）。

您的测试文件中似乎有错别字或缺少的东西：

$ swipl -g run_tests -t halt chess.plt


% PL-Unit: chess 
ERROR: /tmp/chess.plt:9:
    error in setup: plunit_chess:a_drop/1: Unknown procedure: plunit_chess:piese/1
 done
% No tests to run