[Xsb-development] [ xsb-Bugs-1543288 ] unify_with_occurs_check crashes XSB

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

Bugs item #1543288, was opened at 2006-08-20 00:42
Message generated for change (Comment added) made by tswift
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1543288&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: None
Group: None
>Status: Closed
Resolution: None
Priority: 5
Submitted By: Daniel Mahler (dmahler)
Assigned to: Nobody/Anonymous (nobody)
Summary: unify_with_occurs_check crashes XSB

Initial Comment:
[xsb_configuration loaded]
[sysinitrc loaded]

XSB Version 3.0.1 (Sagres) of August 7, 2006
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; 
gc: indirection; scheduling: local]

| ?-  unify_with_occurs_check([A|B],B).
Partial Forward Continuation...
... _$call/1
... call_query/1
... call/1
... catch/3
... interpreter/0
... ll_code_call/3
... call/1
... catch/3

++Memory violation occurred during evaluation.
++Please report this problem using the XSB bug 
tracking system accessible from
++       http://sourceforge.net/projects/xsb
++Please supply the steps necessary to reproduce the 
bug.

Exiting XSB abnormally...


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

>Comment By: Terrance Swift (tswift)
Date: 2006-08-20 19:02

Message:
Logged In: YES 
user_id=13011

Apologies.  This predicate was new to version 3.0 and was insufficiently 
tested.  I fixed the problems and updated the CVS version of XSB with the 
changes.  Thank you for letting us know of the problem.

Terry Swift

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

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