(Est) Reduce inflection table in VP

Include VForms in VP, only construct VPForms when making Cl
2022-04-13 11:37:25 +08:00
parent 31c31b3e69
commit 219de4ca9a
7 changed files with 83 additions and 70 deletions
@@ -60,7 +60,7 @@ concrete ExtraEst of ExtraEstAbs = CatEst **
      } ;

    MkVPS t p vp = { --  Temp -> Pol -> VP -> VPS ;
-      s = \\a => let vps = vp.s ! VIFin t.t ! t.a ! p.p ! a
+      s = \\a => let vps = mkVPForms vp.v ! VIFin t.t ! t.a ! p.p ! a
                 in
                 t.s ++ p.s ++
                 vps.fin ++ vps.inf ++