Re: *-> Causes a segmentation fault

Hi,

thank you for the bug report. Will be solved in 1.4.2 (soon
released).

Daniel

Le 11/11/2012 22:18, Matthew Prestifilippo a écrit :

Hello,

When running the following line, I get a segmentation fault.
I also included the trace.

| ?- true *-> X is 2 ; Y is 3.

1 1 Call: true*->_273 is 2 ?

Fatal Error: Segmentation Violation (bad address: 0x0)

Here is additional system info:

> uname -a

Darwin Matthew-Prestifilippos-iMac.local 11.4.2 Darwin Kernel
Version 11.4.2: Thu Aug 23 16:25:48 PDT 2012;
root:xnu-1699.32.7~1/RELEASE_X86_64 x86_64

> gprolog --version

Prolog top-Level (GNU Prolog) 1.4.1

By Daniel Diaz

Copyright (C) 1999-2012 Daniel Diaz

I did a default build from source (./configure &&
make && make install)

Thanks!

Matt

--

Ce message a été vérifié par
MailScanner
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog

--

Ce message a été vérifié par
MailScanner
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog