From 578b90344c4e9be44955d4c4779f452c0b8dc036 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Sun, 5 Apr 2026 17:05:04 +0200 Subject: basic argument (de-)marshalling --- lib/CWayland/CWayland.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/CWayland/CWayland.cc') diff --git a/lib/CWayland/CWayland.cc b/lib/CWayland/CWayland.cc index 0c02d66..3487f72 100644 --- a/lib/CWayland/CWayland.cc +++ b/lib/CWayland/CWayland.cc @@ -1109,7 +1109,7 @@ lean_obj_res waylean_argument_buffer_write_array(b_lean_obj_arg buffer_obj, b_le return lean_io_result_mk_ok(lean_box(0)); } -// ArgumentBuffer.writeFD : (buffer : @& ArgumentBuffer) → (value : Int32) → IO Unit +// ArgumentBuffer.writeFd : (buffer : @& ArgumentBuffer) → (value : Int32) → IO Unit lean_obj_res waylean_argument_buffer_write_fd(b_lean_obj_arg buffer_obj, int32_t value) { auto buffer = static_cast(lean_get_external_data(buffer_obj)); @@ -1159,7 +1159,7 @@ lean_obj_res waylean_argument_buffer_read_array(b_lean_obj_arg buffer_obj) return lean_io_result_mk_ok(buffer->read_array().release()); } -// ArgumentBuffer.readFD : (buffer : @& ArgumentBuffer) → IO Int32 +// ArgumentBuffer.readFd : (buffer : @& ArgumentBuffer) → IO Int32 lean_obj_res waylean_argument_buffer_read_fd(b_lean_obj_arg buffer_obj) { auto buffer = static_cast(lean_get_external_data(buffer_obj)); -- cgit v1.3.1