first working version

1 files changed, 12 insertions, 12 deletions

diff --git a/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
index 7cae24d..8e58633 100644
--- a/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
@@ -9,13 +9,13 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverXkbConfigV1.stop
     (ω : RiverXkbConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 0
 
 def RiverXkbConfigV1.destroy
     (ω : RiverXkbConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 1
 
 def RiverXkbConfigV1.createKeymap
@@ -23,7 +23,7 @@ def RiverXkbConfigV1.createKeymap
     (fd : Fd)
     (format : RiverXkbConfigV1.KeymapFormat)
     : DisplayM σ RiverXkbKeymapV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .fd fd
     Marshallable.marshal .uint format
@@ -32,20 +32,20 @@ def RiverXkbConfigV1.createKeymap
 def RiverXkbKeymapV1.destroy
     (ω : RiverXkbKeymapV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbKeyboardV1.destroy
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbKeyboardV1.setKeymap
     (ω : RiverXkbKeyboardV1)
     (keymap : RiverXkbKeymapV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .object keymap
     return 1
 
@@ -53,7 +53,7 @@ def RiverXkbKeyboardV1.setLayoutByIndex
     (ω : RiverXkbKeyboardV1)
     (index : Int32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .int index
     return 2
 
@@ -61,32 +61,32 @@ def RiverXkbKeyboardV1.setLayoutByName
     (ω : RiverXkbKeyboardV1)
     (name : String)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .string name
     return 3
 
 def RiverXkbKeyboardV1.capslockEnable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 4
 
 def RiverXkbKeyboardV1.capslockDisable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 5
 
 def RiverXkbKeyboardV1.numlockEnable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 6
 
 def RiverXkbKeyboardV1.numlockDisable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 7
 
 end Wayland.Protocols
\ No newline at end of file