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:46:22 +01:00
parent 4514ebfc00
commit bba1de3605

View File

@@ -400,7 +400,10 @@ oper
mkV : Str -> Str -> V = reg2V -- s Imperative_Jussive;Pl 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 = overload {
mkV2 : V -> V2 = \v -> v ** {c2 = noPrep} ; mkV2 : V -> V2 = \v -> v ** {c2 = noPrep} ;