diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 17:05:04 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 17:05:04 +0200 |
| commit | 578b90344c4e9be44955d4c4779f452c0b8dc036 (patch) | |
| tree | 891eea4a353ca6a3e2007092a5a3021f553e5c76 /lib/CWayland/CWayland.cc | |
| parent | d47eacf3939411aff7ca0badbed1d1f2f5494969 (diff) | |
basic argument (de-)marshalling
Diffstat (limited to 'lib/CWayland/CWayland.cc')
| -rw-r--r-- | lib/CWayland/CWayland.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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<argument_buffer*>(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<argument_buffer*>(lean_get_external_data(buffer_obj)); |