* Unread a char from in_channel
@ 2004-12-26 2:47 romildo
0 siblings, 0 replies; only message in thread
From: romildo @ 2004-12-26 2:47 UTC (permalink / raw)
To: caml-list
Hi.
Is there a function to unread a character from an
input channel. The character would be put back into
the channel, and reread in the next read operation.
Is there a function to look at the next available
character in an input channel without consuming
the character? It would be like input_char, but
the character would not be removed from the channel.
The next input operation on the channel would
still see the character.
Romildo
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-12-26 2:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-12-26 2:47 Unread a char from in_channel romildo
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).