fix type errors with the old type checker

This commit is contained in:
Krasimir Angelov
2025-10-27 10:00:29 +01:00
parent 3e51c585ce
commit 066d6f9c85

View File

@@ -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} ;