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

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

diff --git a/src/armenian/ParadigmsHye.gf b/src/armenian/ParadigmsHye.gf
index 434f5453..02210bef 100644
--- a/src/armenian/ParadigmsHye.gf
+++ b/src/armenian/ParadigmsHye.gf
@@ -400,7 +400,10 @@ oper
     mkV : Str -> Str -> V = reg2V   -- s  Imperative_Jussive;Pl
   } ;
 
-  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} ;