#endif
}
-HsInt prel_PrelHandle_write(HsInt fd, HsAddr ptr, HsInt off, HsInt sz)
+HsInt prel_PrelHandle_write(HsInt fd, HsAddr ptr, HsInt off, int sz)
{
return write(fd,ptr + off, sz);
}
-HsInt prel_PrelHandle_read(HsInt fd, HsAddr ptr, HsInt off, HsInt sz)
+HsInt prel_PrelHandle_read(HsInt fd, HsAddr ptr, HsInt off, int sz)
{
return read(fd,ptr + off, sz);
}
extern HsInt prel_setmode(HsInt fd, HsBool isBin);
-extern HsInt prel_PrelHandle_write(HsInt fd, HsAddr ptr, HsInt off, HsInt sz);
-extern HsInt prel_PrelHandle_read(HsInt fd, HsAddr ptr, HsInt off, HsInt sz);
+extern HsInt prel_PrelHandle_write(HsInt fd, HsAddr ptr, HsInt off, int sz);
+extern HsInt prel_PrelHandle_read(HsInt fd, HsAddr ptr, HsInt off, int sz);
extern void* prel_PrelIO_memcpy(char *dst, HsInt dst_off, const char *src, size_t sz);