def to_char(asker, c):
if c.to_char() is not None:
return c.to_char()
result = char_literalizer.dispatch(asker, c)
if result is not None:
return result
else:
k = asker.ask_firmly(ascii_code(c))
return chr(ints.to_int(k))
def render_int(asker, x):
return asker.reply(answer=T.from_str(str(ints.to_int(asker, x))))
def literalize_simple_char(asker, x):
return chr(ints.to_int(asker, x))