mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-31 02:38:55 -06:00
testgf3 in progress; fixed VP type in ExtraEng
This commit is contained in:
@@ -35,7 +35,6 @@ concrete CatEng of Cat = CommonX ** open ResEng, Prelude in {
|
|||||||
-- Verb
|
-- Verb
|
||||||
|
|
||||||
VP = ResEng.VP ;
|
VP = ResEng.VP ;
|
||||||
|
|
||||||
Comp = {s : Agr => Str} ;
|
Comp = {s : Agr => Str} ;
|
||||||
|
|
||||||
-- Adjective
|
-- Adjective
|
||||||
|
|||||||
@@ -28,7 +28,7 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
|
|||||||
ConsVPI = consrTable2 VPIForm Agr comma ;
|
ConsVPI = consrTable2 VPIForm Agr comma ;
|
||||||
|
|
||||||
MkVPI vp = {
|
MkVPI vp = {
|
||||||
s = \\v,a => vp.ad ++ vp.inf ++ vp.s2 ! a
|
s = \\v,a => vp.inf ++ vp.s2 ! a
|
||||||
} ;
|
} ;
|
||||||
ConjVPI = conjunctTable2 VPIForm Agr ;
|
ConjVPI = conjunctTable2 VPIForm Agr ;
|
||||||
ComplVPIVV vv vpi =
|
ComplVPIVV vv vpi =
|
||||||
|
|||||||
Reference in New Issue
Block a user