1
  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);

符号定义为:

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)

{ 返回符号_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);
4

1 回答 1

1

看起来您有多个声明symbol_Ordering- 一个采用 a uintptr_t*,一个采用int*. uintptr_t*并且int*不是同一类型(一个是有符号的,一个是无符号的),所以不要那样做。使类型匹配。

于 2010-03-11T21:56:25.407 回答