From 4514ebfc00614dcf7cfc49a9b5756967bb08547d Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 27 Oct 2025 09:43:01 +0100
Subject: [PATCH] fix type errors with the old type checker

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

diff --git a/src/belarusian/ParadigmsBel.gf b/src/belarusian/ParadigmsBel.gf
index 284eb22e..9b99d0a0 100644
--- a/src/belarusian/ParadigmsBel.gf
+++ b/src/belarusian/ParadigmsBel.gf
@@ -766,7 +766,10 @@ oper
     mkV : Str -> Str -> V = reg2V   -- infinitive  Imperative;Sg
   } ;
 
-  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} ;