(Eng) don't drop VP's ext field when making VPI

This commit is contained in:
Inari Listenmaa
2023-02-08 11:36:48 +08:00
parent c6f6a749b5
commit 65e5b78edd

View File

@@ -195,9 +195,9 @@ concrete ExtendEng of Extend =
mkVPI : VP -> VPI = \vp -> lin VPI { mkVPI : VP -> VPI = \vp -> lin VPI {
s = table { s = table {
VVAux => \\a => vp.ad ! a ++ vp.inf ++ vp.p ++ vp.s2 ! a ; VVAux => \\a => vp.ad ! a ++ vp.inf ++ vp.p ++ vp.s2 ! a ++ vp.ext ;
VVInf => \\a => "to" ++ vp.ad ! a ++ vp.inf ++ vp.p ++ vp.s2 ! a ; VVInf => \\a => "to" ++ vp.ad ! a ++ vp.inf ++ vp.p ++ vp.s2 ! a ++ vp.ext ;
VVPresPart => \\a => vp.ad ! a ++ vp.prp ++ vp.p ++ vp.s2 ! a VVPresPart => \\a => vp.ad ! a ++ vp.prp ++ vp.p ++ vp.s2 ! a ++ vp.ext
} }
} ; } ;