summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/CWayland/CWayland.cc3
-rw-r--r--lib/Wayland/Protocols/Wayland/Requests.lean2
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