Re: strange problem with use_module

On 03/02/2014 10:25 PM, db wrote:
> this even more odd :
> 
> When I used the graphical debugger and I does not
> go into the use_module(my_module) it works.
> But if I go into it, it fails...

You make us guess what you are doing.  From `go into',
I have the impression that you use use_module/1 as a
normal goal inside a program to load code dynamically,
right?

I could imagine that this might lead to some mixup in the
source handling, but a simple test shows everything works
just fine.

For short, as usual we need a complete example and instructions
how to make it fail ...

As a work-around, it might be wise to use 's' (skip) on the
use_module/1 call.  Except for the execution of some hooks,
nothing should be visible anyway and there is surely nothing
you can debug with the gui tracer.

	Cheers --- Jan

> 
> Dominique
> 
> 
> Le 02/03/2014 22:16, db a écrit :
>> Hi Jeff,
>>
>> I have tried your solution but there is still
>> the same problem :
>>
>> the instruction
>> use_module(my_module) (without the extension .pl)
>> works without the graphical debugger
>> and does not work with it.
>>
>> Thanks for your answer.
>>
>> Regards
>> Dominique
>>
>>
>> Le 02/03/2014 19:48, Jeff Rosenwald a écrit :
>>> Hi Dominique:
>>>
>>> It doesn't work at all on the Linux distro of SWIPL.
>>>
>>> Please try: "use_module(my_module)." That is, omit the extension and see
>>> if that changes the symptom.
>>>
>>> Regards,
>>> Jeff R.
>>>
>>>
>>>
>>> -----Original Message-----
>>> From: db <[email protected]>
>>> To: swi-prolog <[email protected]>
>>> Sent: Sun, Mar 2, 2014 12:01 pm
>>> Subject: [SWIPL] strange problem with use_module
>>>
>>> Hello,
>>>
>>> I use SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.9)
>>> on Ubuntu 12.04.
>>>
>>> In a program I have the instruction :
>>>
>>> use_module('my_module.pl').
>>>
>>> It works if I do not use the graphical debugger.
>>>
>>> But when I use the graphical debugger (with gtrace),
>>> I obtain the following error :
>>>
>>> ERROR: /home/Dominique/create_int_examples.pl:49: Initialization goal
>>> raised exception:
>>> ERROR: Domain error: `module_file' expected, found
>>> `/home/dominique/Documents/Recherche/completion2.pl'
>>>
>>> Anyone would have an explanation ?
>>>
>>> Thanks a lot
>>>
>>> Dominique
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> SWI-Prolog mailing list
>>> [email protected]
>>> <mailto:[email protected]>
>>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>>>
>>>
>> _______________________________________________
>> SWI-Prolog mailing list
>> [email protected]
>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>>
>> !DSPAM:152,5313a017192891516860812!
>>
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog