From 480e9aea69438c9eeda637118ad73d5918c1728a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 13 Jan 2013 11:48:31 +0000 Subject: [PATCH] fix bad ints (obs from Mei). --- C/c_interface.c | 10 +++++----- include/YapInterface.h | 4 ++-- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/C/c_interface.c b/C/c_interface.c index 775a4992a..d19ad7e7a 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -438,8 +438,8 @@ X_API PredEntry *STD_PROTO(YAP_AtomToPred,(Atom)); X_API PredEntry *STD_PROTO(YAP_FunctorToPredInModule,(Functor, Term)); X_API PredEntry *STD_PROTO(YAP_AtomToPredInModule,(Atom, Term)); X_API Int STD_PROTO(YAP_CallProlog,(Term)); -X_API void *STD_PROTO(YAP_AllocSpaceFromYap,(unsigned int)); -X_API void *STD_PROTO(YAP_ReallocSpaceFromYap,(void*,unsigned int)); +X_API void *STD_PROTO(YAP_AllocSpaceFromYap,(size_t)); +X_API void *STD_PROTO(YAP_ReallocSpaceFromYap,(void*,size_t)); X_API void STD_PROTO(YAP_FreeSpaceFromYap,(void *)); X_API int STD_PROTO(YAP_StringToBuffer, (Term, char *, unsigned int)); X_API Term STD_PROTO(YAP_ReadBuffer, (char *,Term *)); @@ -1909,7 +1909,7 @@ YAP_CallProlog(Term t) } X_API void * -YAP_ReallocSpaceFromYap(void *ptr,unsigned int size) { +YAP_ReallocSpaceFromYap(void *ptr,size_t size) { CACHE_REGS void *new_ptr; BACKUP_MACHINE_REGS(); @@ -1923,7 +1923,7 @@ YAP_ReallocSpaceFromYap(void *ptr,unsigned int size) { return new_ptr; } X_API void * -YAP_AllocSpaceFromYap(unsigned int size) +YAP_AllocSpaceFromYap(size_t size) { CACHE_REGS void *ptr; @@ -2836,7 +2836,7 @@ YAP_CompileClause(Term t) { CACHE_REGS yamop *codeaddr; - int mod = CurrentModule; + Term mod = CurrentModule; Term tn = TermNil; BACKUP_MACHINE_REGS(); diff --git a/include/YapInterface.h b/include/YapInterface.h index 4f4f07944..80f9e6e7f 100755 --- a/include/YapInterface.h +++ b/include/YapInterface.h @@ -263,10 +263,10 @@ extern X_API void PROTO(YAP_cut_up,(void)); #define YAP_cut_fail() do { YAP_cut_up(); return FALSE; } while(0) /* void *AllocSpaceFromYAP_(int) */ -extern X_API void *PROTO(YAP_AllocSpaceFromYap,(unsigned int)); +extern X_API void *PROTO(YAP_AllocSpaceFromYap,(size_t)); /* void *ReallocSpaceFromYAP_(void*,int) */ -extern X_API void *PROTO(YAP_ReallocSpaceFromYap,(void*,unsigned int)); +extern X_API void *PROTO(YAP_ReallocSpaceFromYap,(void*,size_t)); /* void FreeSpaceFromYAP_(void *) */ extern X_API void PROTO(YAP_FreeSpaceFromYap,(void *));