From 6a02f3d6086507b42b92663bce2992fbe74968fb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 30 Oct 2019 16:43:02 +0100
Subject: Export all derived strictness

---
 src/Gtk/Widgets.dcl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Gtk/Widgets.dcl')

diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index 9fba147..0b77204 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -175,6 +175,7 @@ instance gtkContainer GtkScrolledWindow
 newScrolledWindow :: GtkM GtkScrolledWindow
 
 instance tune GtkScrolledWindow (GtkScrollbarPolicy, GtkScrollbarPolicy)
+where tune :: !(!GtkScrollbarPolicy, !GtkScrollbarPolicy) !GtkScrolledWindow -> GtkM GtkScrolledWindow
 
 :: GtkSearchEntry =: GtkSearchEntry Pointer
 instance gtkWidget GtkSearchEntry
@@ -237,7 +238,9 @@ setMargins :: !GtkMargins !w -> GtkM w | gtkWidget w
 
 instance tune w GtkSensitivity | gtkWidget w
 instance tune w (GtkAlign,GtkAlign) | gtkWidget w
+where tune :: !(!GtkAlign, !GtkAlign) !w -> GtkM w | gtkWidget w
 instance tune w (GtkExpand,GtkExpand) | gtkWidget w
+where tune :: !(!GtkExpand, !GtkExpand) !w -> GtkM w | gtkWidget w
 instance tune w GtkAccelerator | gtkWidget w
 instance tune w GtkSizeRequest | gtkWidget w
 
-- 
cgit v1.2.3