[Xsb-development] [ xsb-Bugs-1506704 ] Abnormal globalvar/2 behaviour

[SourceForge.net <no...@so...>]

Bugs item #1506704, was opened at 2006-06-15 09:37
Message generated for change (Comment added) made by fmihaila
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1506704&group_id=1176

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Other
Group: wrong answer
Status: Open
Resolution: None
Priority: 5
Submitted By: Florin Mihaila (fmihaila)
Assigned to: Nobody/Anonymous (nobody)
Summary: Abnormal globalvar/2 behaviour

Initial Comment:
This morning I've checked out XSB fresh from CVS. I
know it's the latest version, because I got the changes
in emu/emuloop.c committed by dwarren at 1:19am today.

I've built it on Mac OS X/PowerPC and Linux/x86, with
and without multi-threading and debug support, yielding
4 configurations on each platform. Attempting to build
on Linux/x86 with the default configure flags ended in
a memory violation while compiling ora_call.P (bug
1506690). On each of the remaining 7 configurations, I
get the following abnormal globalvar/2 behaviour:

| ?-  [globalvar].
[globalvar loaded]

yes
| ?- globalvar(a,1).

yes
| ?- globalvar(a,1), globalvar(b,2).

no

As I understand it, the last query should succeed. Can
anyone else confirm this behaviour?

--Florin

----------------------------------------------------------------------

>Comment By: Florin Mihaila (fmihaila)
Date: 2006-06-15 09:51

Message:
Logged In: YES 
user_id=1435655

I just tried it on the 8th remaining configuration, namely
linux/x86 with the default configure flags, and I am getting
the same wrong answer.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1506704&group_id=1176