Re: *-> Causes a segmentation fault

[Daniel Diaz]

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
address@hidden
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é.