From: SourceForge.net <no...@so...> - 2005-03-24 16:29:35
|
Bugs item #1169965, was opened at 2005-03-24 10:50 Message generated for change (Comment added) made by kifer You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1169965&group_id=1176 Category: Other Group: Other >Status: Closed Resolution: None Priority: 5 Submitted By: Michael Kifer (kifer) Assigned to: Nobody/Anonymous (nobody) Summary: weird bug Initial Comment: :- import format/0 from format. p(X) :- format. fetches this error: ++Error[XSB]: [Runtime/C] [LOADER] The loaded object file usermod.xwam is corrupted ---------------------------------------------------------------------- >Comment By: Michael Kifer (kifer) Date: 2005-03-24 11:29 Message: Logged In: YES user_id=12609 Yes, a more informative msg will do. Tx. ---------------------------------------------------------------------- Comment By: David S. Warren (dwarren) Date: 2005-03-24 11:21 Message: Logged In: YES user_id=13069 This is a design flaw (or feature...). In XSB atoms have "types", and cannot be of 2 different types. One type is for a module and a different type is for a predicate. So you are using format/0 as both, and that is not allowed. It was a decision made by Jiyang Xu back in '87. What is happening is that it uses the "entry point" field of the psc record for an entry point if it is a predicate name, and that same field for a pointer to the list of predicates in the module if it is a module name (I think.) So this is a pain, but it's not going to change anytime soon. I should try to look into where that particular error message came from and try to give a "more informativel" response. -David ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=1169965&group_id=1176 |