Re: Failed to set breakpoint

Alan Baljeu <[email protected]> Fri, 4 Apr 2014 06:44:27 -0700 (PDT)
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]>
I expect it's the reloading with a different name that causes the problem.

Alan Baljeu


________________________________
 From: Jan Wielemaker <[email protected]>
To: Alan Baljeu <[email protected]>; Prolog <[email protected]> 
Sent: Friday, April 4, 2014 4:34:15 AM
Subject: Re: [SWIPL] Failed to set breakpoint
 

On 04/03/2014 09:51 PM, Alan Baljeu wrote:

> I have a file loaded containing the following generated predicate
> among others. �Pcemacs refuses to set a breakpoint on any line
> contained in it. �Other predicates in the same file, no problem. �But
> all predicates looking like this, problem. �If it matters, loop29 is
> generated, and the next time the file gets generated it may be called
> loop34. �
>
> loop29((Object, Key), [RefVar|M39], [ActiveVarId|N39]) :-
> ( ( RefVar= (Ref=_),
>   � �wait_instance_active(Object, Ref, ActiveVarId)
>   �),
>   �true
> ), !,
> loop29((Object, Key), M39, N39).
>
> loop29(_, [], []).

I recall you're running 6.4.x?  This works fine in 7.1.11.  Proof
attached.  Might also work in 6.6.

    Cheers --- Jan
-------------- next part --------------
HTML attachment scrubbed and removed
_______________________________________________
SWI-Prolog mailing list
[email protected]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog