From 648edcd81fc2045cab70ec2b82d81577158d8613 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Fri, 5 Jun 2026 21:05:23 +0200
Subject: first working version

---
 .../Protocols/RiverXkbBindingsV1/Requests.lean       | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean')

diff --git a/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
index 691e32e..b224fbb 100644
--- a/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
@@ -9,7 +9,7 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverXkbBindingsV1.destroy
     (ω : RiverXkbBindingsV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingsV1.getXkbBinding
@@ -18,7 +18,7 @@ def RiverXkbBindingsV1.getXkbBinding
     (keysym : UInt32)
     (modifiers : RiverSeatV1.Modifiers)
     : DisplayM σ RiverXkbBindingV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     Marshallable.marshal .object seat
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint keysym
@@ -29,7 +29,7 @@ def RiverXkbBindingsV1.getSeat
     (ω : RiverXkbBindingsV1)
     (seat : RiverSeatV1)
     : DisplayM σ RiverXkbBindingsSeatV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .object seat
     return 2
@@ -37,45 +37,45 @@ def RiverXkbBindingsV1.getSeat
 def RiverXkbBindingV1.destroy
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingV1.setLayoutOverride
     (ω : RiverXkbBindingV1)
     (layout : UInt32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .uint layout
     return 1
 
 def RiverXkbBindingV1.enable
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 2
 
 def RiverXkbBindingV1.disable
     (ω : RiverXkbBindingV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 3
 
 def RiverXkbBindingsSeatV1.destroy
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbBindingsSeatV1.ensureNextKeyEaten
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 1
 
 def RiverXkbBindingsSeatV1.cancelEnsureNextKeyEaten
     (ω : RiverXkbBindingsSeatV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 2
 
 end Wayland.Protocols
\ No newline at end of file
-- 
cgit v1.3.1