From 066d6f9c857138ad16ed57e982bb6976b066b1bc Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 27 Oct 2025 10:00:29 +0100
Subject: [PATCH] fix type errors with the old type checker

---
 src/ukrainian/ParadigmsUkr.gf | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ukrainian/ParadigmsUkr.gf b/src/ukrainian/ParadigmsUkr.gf
index 4fd51f78f..3c075b1b5 100644
--- a/src/ukrainian/ParadigmsUkr.gf
+++ b/src/ukrainian/ParadigmsUkr.gf
@@ -1258,7 +1258,10 @@ oper
     mkV : Str -> Str -> V = reg2V   -- Active;Imperf;Pres;P1;Sg  imperative1
   } ;
 
-  mkVV,mkVS,mkVQ,mkVA = \v -> v ;
+  mkVV : V -> VV = \v -> v ;
+  mkVS : V -> VS = \v -> v ;
+  mkVQ : V -> VQ = \v -> v ;
+  mkVA : V -> VA = \v -> v ;
 
   mkV2 = overload {
      mkV2 : V -> V2 = \v -> v ** {c2 = noPrep} ;