def write_file()

in core/rust1.34/compile.py [0:0]


def write_file(file, body):
    os.makedirs(dirname(file), mode=0o755, exist_ok=True)
    with open(file, mode="w", encoding="utf-8") as f:
        f.write(body)