diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
| commit | bfe6c4cee8b5afcd4078af319ab6b96f6695408b (patch) | |
| tree | f6721cd534619e0e1b6a96f2edaba455fcdc75f2 /lib | |
| parent | 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 (diff) | |
update lean
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/CWayland/CWayland.cc | 3 | ||||
| -rw-r--r-- | lib/Wayland/Protocols/Wayland/Requests.lean | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/lib/CWayland/CWayland.cc b/lib/CWayland/CWayland.cc index a8a80e3..db2983d 100644 --- a/lib/CWayland/CWayland.cc +++ b/lib/CWayland/CWayland.cc @@ -242,7 +242,8 @@ namespace static void signal_handler(int signum) { - (void)write(tx_fd, &signum, sizeof(signum)); + ssize_t written = write(tx_fd, &signum, sizeof(signum)); + (void)written; } public: diff --git a/lib/Wayland/Protocols/Wayland/Requests.lean b/lib/Wayland/Protocols/Wayland/Requests.lean index 2e275dd..f25082d 100644 --- a/lib/Wayland/Protocols/Wayland/Requests.lean +++ b/lib/Wayland/Protocols/Wayland/Requests.lean @@ -35,7 +35,7 @@ def WlRegistry.bind ω.sendConstructor do Marshallable.marshal .uint name ArgumentMarshaller.marshalString (.some ι) - ArgumentMarshaller.marshalUInt (inferInstanceAs (Interface ι)).version + ArgumentMarshaller.marshalUInt (inferInstance : Interface ι).version ArgumentMarshaller.marshalAnyObject .none return 0 |