GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 10:48:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

enabled VPI functions in ExtraDut

Browse Source
This commit is contained in:
aarne
2015-06-07 21:00:19 +00:00
parent 350a333b3f
commit a128373dce
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lib/src/dutch/ExtraDut.gf
View File

@@ -12,11 +12,11 @@ concrete ExtraDut of ExtraDutAbs = CatDut **
ConsVPI = consrTable Bool comma ; ConsVPI = consrTable Bool comma ;
MkVPI vp = {s = \\b => useInfVP b vp} ; MkVPI vp = {s = \\b => useInfVP b vp} ;
-- ConjVPI = conjunctDistrTable Bool ; ConjVPI = conjunctDistrTable Bool ;
--
-- ComplVPIVV v vpi = ComplVPIVV v vpi =
-- insertInf (vpi.s ! v.isAux) ( insertInf (vpi.s ! v.isAux) (
-- predVGen v.isAux v) ; ---- predVGen v.isAux v) ; ----
--{- --{-
-- insertExtrapos vpi.p3 ( -- insertExtrapos vpi.p3 (
-- insertInf vpi.p2 ( -- insertInf vpi.p2 (