work/bootstrap/gec17.c
EIF_INTEGER eif_file_fd(FILE *f) {
	int res;
	if (!f) {
		res = 0;
		eraise("invalid file pointer", EN_EXT);
	} else {
		res = fileno(f);
		if (res == -1) {
			eraise("error occurred", EN_EXT);
		}
	}
	return (EIF_INTEGER) res;
}
/*
 * Return the associated file descriptor.
 */
Return the associated file descriptor.
Return the associated file descriptor .
EIF_INTEGER eif_file_fd(FILE *f) {
	int res;
	if (!f) {
		res = 0;
		eraise("invalid file pointer", EN_EXT);
	} else {
		res = fileno(f);
		if (res == -1) {
			eraise("error occurred", EN_EXT);
		}
	}
	return (EIF_INTEGER) res;
}
EIF_INTEGER eif_file_fd ( FILE * f ) { int res ; if ( ! f ) { res = 0 ; eraise ( " " , EN_EXT ) ; } else { res = fileno ( f ) ; if ( res == -1 ) { eraise ( " " , EN_EXT ) ; } } return ( EIF_INTEGER ) res ; }
Return the associated file descriptor.
Return the associated file descriptor .