2004-07-23 20:35:13 -04:00
|
|
|
#define LINE_SIZE 80
|
2004-07-24 00:54:57 -04:00
|
|
|
#define BUF_SIZE 1024
|
2004-07-23 20:35:13 -04:00
|
|
|
|
2004-07-24 17:37:42 -04:00
|
|
|
void init_io(void);
|
2004-07-23 20:35:13 -04:00
|
|
|
void primitive_close_fd(void);
|
2004-07-24 15:11:55 -04:00
|
|
|
int fill_buffer(HANDLE* h, int fd, STRING* buf);
|
2004-07-23 20:35:13 -04:00
|
|
|
void primitive_read_line_fd_8(void);
|
2004-07-27 21:12:22 -04:00
|
|
|
void write_fd_char_8(HANDLE* h, FIXNUM ch);
|
|
|
|
|
void write_fd_string_8(HANDLE* h, STRING* str);
|
2004-07-23 20:35:13 -04:00
|
|
|
void primitive_write_fd_8(void);
|
|
|
|
|
void primitive_flush_fd(void);
|
2004-07-24 17:37:42 -04:00
|
|
|
void primitive_shutdown_fd(void);
|
