| Resolved in MINERVA 2.0. See ReleaseNotes.
get_byte/1/2, put_byte/1/2, peek_byte/1/2 are
not available.
As workaround open the stream as ascii stream and
use put_char/1/1, put_byte/1/2, peek_byte/1/2,
converting characters to codes.
Example:
my_put_byte(Stream,Code) :-
char_code(Char,Code), put_char(Stream,Char).
use_binary_stream :-
:
open(BinaryFile,write,FakedBinaryStream,[encoding(ascii)]),
:
my_put_byte(FakedBinaryStream,99),
:
flush_output(FakedBinaryStream),
close(FakedBinaryStream),
:
|