From b84d05034d9145e6fbb8f8c86b51c373237c9082 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 6 Nov 2025 12:46:05 +0100
Subject: [PATCH] more type signatures

---
 src/gaelic/ParadigmsGla.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/gaelic/ParadigmsGla.gf b/src/gaelic/ParadigmsGla.gf
index c3d59120..1154c21f 100644
--- a/src/gaelic/ParadigmsGla.gf
+++ b/src/gaelic/ParadigmsGla.gf
@@ -2136,10 +2136,10 @@ mkV3 = overload {
   mkV3 : V -> Prep -> Prep -> V3 = \v,p2,p3 -> lin V3 v ** {c2=p2; c3=p3} ;
 } ;
 
-oper mkLN = \s -> lin LN {s=s} ;
-oper mkGN = \s -> lin GN {s=s} ;
-oper mkSN = \s -> lin SN {s=s} ;
-oper mkPN = \s -> lin PN {s=s} ;
+oper mkLN : Str -> LN = \s -> lin LN {s=s} ;
+oper mkGN : Str -> GN = \s -> lin GN {s=s} ;
+oper mkSN : Str -> SN = \s -> lin SN {s=s} ;
+oper mkPN : Str -> PN = \s -> lin PN {s=s} ;
 
 mkAdv : Str -> Adv = \s -> lin Adv {s=s} ;
 mkAdV : Str -> AdV = \s -> lin AdV {s=s} ;