2004-07-23 20:35:13 -04:00
|
|
|
#define LINE_SIZE 80
|
2004-08-11 16:56:48 -04:00
|
|
|
#define BUF_SIZE (32 * 1024)
|
2004-07-23 20:35:13 -04:00
|
|
|
|
2004-08-12 17:36:36 -04:00
|
|
|
int read_step(PORT* port, STRING* buf);
|
|
|
|
|
void flush_buffer(PORT* port);
|
|
|
|
|
void write_fully(PORT* port, char* str, CELL len);
|
2004-08-11 16:56:48 -04:00
|
|
|
void init_io(void);
|
2004-07-23 20:35:13 -04:00
|
|
|
void primitive_read_line_fd_8(void);
|
2004-08-12 17:36:36 -04:00
|
|
|
void write_fd_char_8(PORT* port, FIXNUM ch);
|
|
|
|
|
void write_fd_string_8(PORT* port, STRING* str);
|
2004-07-23 20:35:13 -04:00
|
|
|
void primitive_write_fd_8(void);
|
|
|
|
|
void primitive_flush_fd(void);
|
2004-08-11 16:56:48 -04:00
|
|
|
void primitive_close_fd(void);
|