*-> Causes a segmentation fault

Matthew Prestifilippo <[email protected]> Sun, 11 Nov 2012 16:18:43 -0500

Newsgroups	gmane.comp.gnu.prolog.bugs
Message-ID	<CAHkPcHGei4nXc+S9scP0DAoYxAupfWT7Ak=Sfn__nZGoP-M+Dg@mail.gmail.com>

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

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