symbol.h:179: note: expected ‘uintptr_t *’ but argument is of type ‘PRECEDENCE’
相应的代码是:
176 void symbol_SetCount(SYMBOL, unsigned long);
177 unsigned long symbol_GetCount(SYMBOL);
178
179 size_t symbol_Ordering(uintptr_t*, SYMBOL);
180
181 void symbol_CheckIndexInRange(int);
182 void symbol_CheckNoVariable(SYMBOL);
SYMBOL定义为:
typedef size_t SYMBOL
任何努力都将受到高度赞赏。
PRECEDENCE已被修改为:
typedef int *PRECEDENCE;
int symbol_Ordering(PRECEDENCE, SYMBOL);
这里有一些symbol_Ordering的附加信息:
if (symbol_Equal(propSymbol, eml_Id()))
{ /* Arguments should be nil, propositional */
symbol_SetOrdering(Precedence, fol_Equality(), symbol_Ordering(Precedence, eml_Id()));
return eml_RplacWithOpAndArgs(Atom, fol_Equality(), Args)}
int symbol_ORDERING;
int symbol_GetIncreasedOrderingCounter(void)
{ return symbol_ORDERING ++; }
static __inline__ BOOL symbol_PrecedenceGreater(PRECEDENCE P, SYMBOL S1, SYMBOL S2)
{
return symbol_Ordering((uintptr_t*)P, S1) < symbol_Ordering((uintptr_t*)P, S2);
}
size_t symbol_Ordering(uintptr_t*, SYMBOL);
答案 0 :(得分:1)
看起来您有symbol_Ordering
的多个声明 - 一个取uintptr_t*
而另一个取int*
。 uintptr_t*
和int*
的类型不同(一个是签名的,一个是无符号的),所以不要这样做。使类型匹配。