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/Wayland/Native.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Wayland/Native.lean') diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index 25884ed..b4e9e95 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -101,7 +101,7 @@ opaque ArgumentBuffer.writeObject : (writer : @& ArgumentBuffer) → (value : @& opaque ArgumentBuffer.writeArray : (writer : @& ArgumentBuffer) → (value : @& ByteArray) → IO Unit @[extern "waylean_argument_buffer_write_fd"] -opaque ArgumentBuffer.writeFD : (writer : @& ArgumentBuffer) → (value : Int32) → IO Unit +opaque ArgumentBuffer.writeFd : (writer : @& ArgumentBuffer) → (value : Int32) → IO Unit @[extern "waylean_argument_buffer_read_int"] opaque ArgumentBuffer.readInt : (reader : @& ArgumentBuffer) → IO Int32 @@ -122,7 +122,7 @@ opaque ArgumentBuffer.readObject : (reader : @& ArgumentBuffer) → IO (Option P opaque ArgumentBuffer.readArray : (reader : @& ArgumentBuffer) → IO ByteArray @[extern "waylean_argument_buffer_read_fd"] -opaque ArgumentBuffer.readFD : (reader : @& ArgumentBuffer) → IO Int32 +opaque ArgumentBuffer.readFd : (reader : @& ArgumentBuffer) → IO Int32 @[extern "waylean_proxy_from_display"] opaque Proxy.fromDisplay : (display : Display) → IO Proxy -- cgit v1.3.1