first working version

1 files changed, 27 insertions, 27 deletions

diff --git a/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean
index 12fb676..3c8e486 100644
--- a/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean
@@ -9,20 +9,20 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverLibinputConfigV1.stop
     (ω : RiverLibinputConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 0
 
 def RiverLibinputConfigV1.destroy
     (ω : RiverLibinputConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 1
 
 def RiverLibinputConfigV1.createAccelConfig
     (ω : RiverLibinputConfigV1)
     (profile : RiverLibinputDeviceV1.AccelProfile)
     : DisplayM σ RiverLibinputAccelConfigV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint profile
     return 2
@@ -30,14 +30,14 @@ def RiverLibinputConfigV1.createAccelConfig
 def RiverLibinputDeviceV1.destroy
     (ω : RiverLibinputDeviceV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverLibinputDeviceV1.setSendEvents
     (ω : RiverLibinputDeviceV1)
     (mode : RiverLibinputDeviceV1.SendEventsModes)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint mode
     return 1
@@ -46,7 +46,7 @@ def RiverLibinputDeviceV1.setTap
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.TapState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 2
@@ -55,7 +55,7 @@ def RiverLibinputDeviceV1.setTapButtonMap
     (ω : RiverLibinputDeviceV1)
     (buttonMap : RiverLibinputDeviceV1.TapButtonMap)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint buttonMap
     return 3
@@ -64,7 +64,7 @@ def RiverLibinputDeviceV1.setDrag
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.DragState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 4
@@ -73,7 +73,7 @@ def RiverLibinputDeviceV1.setDragLock
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.DragLockState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 5
@@ -82,7 +82,7 @@ def RiverLibinputDeviceV1.setThreeFingerDrag
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.ThreeFingerDragState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 6
@@ -91,7 +91,7 @@ def RiverLibinputDeviceV1.setCalibrationMatrix
     (ω : RiverLibinputDeviceV1)
     (matrix : ByteArray)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .array matrix
     return 7
@@ -100,7 +100,7 @@ def RiverLibinputDeviceV1.setAccelProfile
     (ω : RiverLibinputDeviceV1)
     (profile : RiverLibinputDeviceV1.AccelProfile)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint profile
     return 8
@@ -109,7 +109,7 @@ def RiverLibinputDeviceV1.setAccelSpeed
     (ω : RiverLibinputDeviceV1)
     (speed : ByteArray)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .array speed
     return 9
@@ -118,7 +118,7 @@ def RiverLibinputDeviceV1.applyAccelConfig
     (ω : RiverLibinputDeviceV1)
     (config : RiverLibinputAccelConfigV1)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .object config
     return 10
@@ -127,7 +127,7 @@ def RiverLibinputDeviceV1.setNaturalScroll
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.NaturalScrollState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 11
@@ -136,7 +136,7 @@ def RiverLibinputDeviceV1.setLeftHanded
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.LeftHandedState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 12
@@ -145,7 +145,7 @@ def RiverLibinputDeviceV1.setClickMethod
     (ω : RiverLibinputDeviceV1)
     (method : RiverLibinputDeviceV1.ClickMethod)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint method
     return 13
@@ -154,7 +154,7 @@ def RiverLibinputDeviceV1.setClickfingerButtonMap
     (ω : RiverLibinputDeviceV1)
     (buttonMap : RiverLibinputDeviceV1.ClickfingerButtonMap)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint buttonMap
     return 14
@@ -163,7 +163,7 @@ def RiverLibinputDeviceV1.setMiddleEmulation
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.MiddleEmulationState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 15
@@ -172,7 +172,7 @@ def RiverLibinputDeviceV1.setScrollMethod
     (ω : RiverLibinputDeviceV1)
     (method : RiverLibinputDeviceV1.ScrollMethod)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint method
     return 16
@@ -181,7 +181,7 @@ def RiverLibinputDeviceV1.setScrollButton
     (ω : RiverLibinputDeviceV1)
     (button : UInt32)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint button
     return 17
@@ -190,7 +190,7 @@ def RiverLibinputDeviceV1.setScrollButtonLock
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.ScrollButtonLockState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 18
@@ -199,7 +199,7 @@ def RiverLibinputDeviceV1.setDwt
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.DwtState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 19
@@ -208,7 +208,7 @@ def RiverLibinputDeviceV1.setDwtp
     (ω : RiverLibinputDeviceV1)
     (state : RiverLibinputDeviceV1.DwtpState)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint state
     return 20
@@ -217,7 +217,7 @@ def RiverLibinputDeviceV1.setRotation
     (ω : RiverLibinputDeviceV1)
     (angle : UInt32)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint angle
     return 21
@@ -225,7 +225,7 @@ def RiverLibinputDeviceV1.setRotation
 def RiverLibinputAccelConfigV1.destroy
     (ω : RiverLibinputAccelConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverLibinputAccelConfigV1.setPoints
@@ -234,7 +234,7 @@ def RiverLibinputAccelConfigV1.setPoints
     (step : ByteArray)
     (points : ByteArray)
     : DisplayM σ RiverLibinputResultV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .uint type
     Marshallable.marshal .array step