Re: Regression: Failure and segfault with unification, predicate calls and arrow

[Daniel Diaz]

Thank you for the bug report.

I could reproduce it.

I'm not at my office for the moment but i fix it asap.

Daniel

Le 14 juil. 2012 à 10:56, Thierry Martinez a écrit :

> Hi,
> 
> The following code fails (when consulted on top-level) and segfaults
> (when compiled) with the last stable version of GNU Prolog (1.4.1) and
> previous unstable versions, on Linux and Mac.  It fails to compile on
> Windows (with the mere message: compilation failed). It used to work
> with 1.4.0.
> 
> p :-
>   A = B,
>   q,
>   A = 1,
>   (
>      r(B)
>   ->
>      true
>   ).
> 
> q.
> 
> r(1).
> 
> :- initialization(p).
> 
> -- 
> Thierry.
> _______________________________________________
> Bug-prolog mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/bug-prolog


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.