Fix a bug in implementation of GObject.connect

Used the wrong type variable in the constraint
postsolar · Feb 25, 2024 · e34e8ba · e34e8ba
1 parent 4e88d29
commit e34e8ba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/GObject.purs b/src/GObject.purs
@@ -58,12 +58,12 @@ class
 -- | connect @"changed" myObject \_obj info → log info
 -- | ```
 connect
-  ∷ ∀ @sig @obj cb pcb rt os ovs
+  ∷ ∀ @sig @obj cb pcb rt rt' os ovs
   . R.Cons sig cb rt os
   -- This constraint aids the compiler find the type of
   -- the processed callback to project the variant's value.
   -- It shouldn't be removed.
-  ⇒ R.Cons sig pcb rt ovs
+  ⇒ R.Cons sig pcb rt' ovs
   ⇒ GObjectSignal obj os ovs
   ⇒ IsSymbol sig
   ⇒ obj