on 10.07.00 06:33, Marian Kamenov at marianpk(a)yahoo.com wrote:
I'm using CIAO for about a month on Windows NT 4.0 & Redhat Linux 6.1. I don't see such a problem.
Very easy to reproduce the bug. Just write a small Prolog source file with the following contents:
test :- compile(file).
Run the ciaoengine application and at the top level try:
?- compile(test).
yes ?- test. {ERROR: user:compile/1 - undefined predicate}
no
It seams that I have to import the compile/1 predicate from some library. Unless we can only call it from the top level...
Paulo
----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 Ext. 3251 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal
mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------
On Jul 10, Paulo Moura wrote:
on 10.07.00 06:33, Marian Kamenov at marianpk(a)yahoo.com wrote:
I'm using CIAO for about a month on Windows NT 4.0 & Redhat Linux 6.1. I don't see such a problem.
Very easy to reproduce the bug. Just write a small Prolog source file with the following contents:
compile/1 is defined in the module toplevel.pl (see the ciao sources in the directory sheel) as follow:
compile(File) :- set_nodebug_mode(File), compiler:ensure_loaded(File).
So one solution to your problem is the following:
:- module(f,[test/0]).
:- use_module(library(compiler)).
test :- my_compile(c).
my_compile(File) :- set_nodebug_mode(File), compiler:ensure_loaded(File).
Or just use ensure_loaded directly (its define in library(compiler)).
ciao,
Samir. ------
on 10.07.00 12:59, Samir Genaim at genaim(a)cs.bgu.ac.il wrote:
So one solution to your problem is the following:
:- module(f,[test/0]).
:- use_module(library(compiler)).
test :- my_compile(c).
my_compile(File) :- set_nodebug_mode(File), compiler:ensure_loaded(File).
Or just use ensure_loaded directly (its define in library(compiler)).
Thanks, it works as expected. I was looking for a ciaosh module that, reading the reference manual, exports a ensure_loaded/1 predicate. I should have looked in the other modules used.
Regards,
Paulo
----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 Ext. 3251 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal
mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------
-
Paulo Moura -
Samir Genaim