make bug.
Alan Baljeu <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
I am presently obstructed by the following error in the CHR compiler. It appears randomly, but at present 90% of the time I type make (including successive times) I see this. It used to happen 25%. From what I can guess, the CHR compiler stores static information in SWI in addition to term_expansion things generated at the end_of_file marker. During the make process, this information is not fully abolished, and when a new definition comes up, the CHR compiler thinks it's a duplicate. (Of course it could be nice if it just said "oh, identical definition. Carry on.") I cannot work as is and have no idea how to fix it. Obstacles: (1) I don't know how to identify exactly what's causing the trouble. It may be make/1 at fault or the CHR compiler. (2) The CHR compiler is itself compiled output of a CHR compiler. It is massive and not directly maintainable. Help? [debug] 79 ?- make. ================================================================================ CHR compiler TYPE ERROR: `--> Ambiguous type aliases: you have defined `id==dense_int' `id==dense_int' resulting in two definitions for "id". ================================================================================ % d:/products/vmmversions/2012/rule-processor/branches/gen3/xcp compiled into cp 0.00 sec, 103 clauses Warning: [Thread 3] The predicates below are not defined. If these are defined Warning: [Thread 3] at runtime using assert/1, use :- dynamic Name/Arity.| ...... [debug] 80 ?- make. % after a null edit % d:/products/vmmversions/2012/rule-processor/branches/gen3/xcp compiled into cp 0.08 sec, 427 clauses true. Alan Baljeu