1
0
forked from GitHub/gf-rgl

fix type errors with the old type checker

This commit is contained in:
Krasimir Angelov
2025-10-27 09:43:01 +01:00
parent cf947426dc
commit 4514ebfc00

View File

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