write_char

Builtin index · File I/O

write_char(f, s)

Input: f, s · Output: no output

What it is

Writes s (string) to f (file handle, opened writable/appendable) with no newline added.

Overloads

One call shape — this function is not overloaded.

Code	Input	Output	Description
`write_char(f, s)`	`f` stringnot documented yet `s` stringnot documented yet	no output	—

Examples

From the documentation, and run by the build -- the output and the figure below are what the engine actually produced. Simplest first.

f = fopen("greeting.txt", "w")
write_char(f, "Hello,World")
close(f)

g = fopen("greeting.txt", "r")
first       = read_char(g)         # "H"

peeked      = peek_char(g)         # "e" -- cursor not moved

next        = read_char(g)         # "e" again, same char peeked returned

chunk       = read_chars(g, 3)     # "llo"

next_byte   = peek_byte(g)         # 44, the byte for ',' -- still not consumed

before_comma = read_until(g, ",")  # "" -- the comma was right there, now consumed

w_byte      = read_byte(g)         # 87, the byte for 'W'

rest        = read_all(g)          # "orld"

close(g)
print("{first}{next}{chunk} peeked={peeked} next_byte={next_byte} before_comma=\"{before_comma}\" w_byte={w_byte} rest={rest}")
# Hello peeked=e next_byte=44 before_comma="" w_byte=87 rest=orld

output

Hello peeked=e next_byte=44 before_comma="" w_byte=87 rest=orld

from file-io