Re: make bug.

Addendum: As an experiment I renamed id to idt and ran make again:

================================================================================
CHR compiler TYPE ERROR:
    `--> Ambiguous type aliases: you have defined 
        `idt==dense_int'
        `idt==dense_int'
        resulting in two definitions for "idt".
================================================================================

idt had no definition previously.  idt is only defined once in the file.
Still no clue how to address this bug.

 
Alan Baljeu

----- Original Message -----
From: Alan Baljeu <[email protected]>
To: Prolog <[email protected]>
Cc: 
Sent: Thursday, November 21, 2013 9:45:38 AM
Subject: make bug.

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