diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix bad ints (obs from Mei).

Browse Source
This commit is contained in:
Vítor Santos Costa 2013-01-13 11:48:31 +00:00
parent 8f2766cbf3
commit 480e9aea69
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
C/c_interface.c
View File

@ -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();

4
include/YapInterface.h
View File

@ -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 *));