ciao-lang/ciao

Error after installation in Ubuntu 19.10

Closed this issue · 5 comments

mlupm commented

It seems that the cioadbc for running test is missing

mlupm commented
  1. I load the module in the top level in emacs
  2. I select the option run test in current module in the CiaoDbg tab
  3. Error: user:run_test_in_module/1 - existence error: procedure: user:run_test_in_module/1 does not exist
jfmc commented

Could you run ciao list | grep ciaodbg in a shell terminal and check if ciaodbg is listed?

mlupm commented

I have checked with the command and ciaodbg is indeed listed

jfmc commented

Could you try the following?

?- use_module(library(unittest)).
?- run_tests_in_module(<<YOUR MODULE>>).

Probably emacs is not asking Ciao to load the unittest library.

mlupm commented

It seems that emacs was the problem as you mentioned, now it works. Thanks for the help.