GNU Prolog for Java - Bugs: bug #30335, arg fails to properly unify and...

Group

Main
- Main
- View members
- Search
Homepage
Download
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Patches
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

bug #30335: arg fails to properly unify and still succeeds

Submitter:	Daniel Thomas <drt24>
Submitted:	Sat 03 Jul 2010 09:53:41 AM UTC


Category:	Standards Compliance	Severity:	3 - Normal
Item Group:	Test failure: inria	Status:	Wont Fix
Privacy:	Public	Assigned to:	drt24
Open/Closed:	Open	Planned Release:	None

* Mandatory Fields

Add a New Comment Rich Markup

Tue 27 Jul 2010 10:16:59 PM UTC, comment #1: So the situation is this: The unification occurs and then is undone by code which does variable.value = null; variable = null. Unfortunately this code is in InterpretedByteCode which is not particularly easy to understand making it a rather difficult bug to fix.	Daniel Thomas <drt24>
Sat 03 Jul 2010 09:53:41 AM UTC, original submission: Failure text from test-inria.out " In file: arg possible error in Goal: arg(1,foo(A0,b),a) Expected: [[A0 <-- a]] Extra Solutions found: success Solutions Missing: [[A0 <-- a]] In file: arg possible error in Goal: arg(1,foo(A0,b),B0) Expected: [[B0 <-- A0]] Extra Solutions found: success Solutions Missing: [[B0 <-- A0]] "	Daniel Thomas <drt24>

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:


Comment:

No files currently attached

Depends on the following items: None found

Items that depend on this one: None found

Carbon-Copy List

-email is unavailable- added by drt24 (Submitted the item)

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

Please enter the title of George Orwell's famous dystopian book (it's a date):

Follows 1 latest change.

Date	Changed by	Updated Field	Previous Value	=>	Replaced by
2010-07-27	drt24	Status	None		Wont Fix

GNU Prolog for Java - Bugs: bug #30335, arg fails to properly unify and...

bug #30335: arg fails to properly unify and still succeeds

<a href="#postcomment">Post a Comment</a>

<a href="#discussion">Discussion</a>

<a href="#attached">Attached Files</a>

<a href="#dependencies">Dependencies</a>

<a href="#cc">Mail Notification Carbon-Copy List</a>

<a href="#votes">Votes</a>

<a href="#history">History</a>