1
0
forked from GitHub/gf-rgl

wrong place for VPI parameter fixed

This commit is contained in:
aarne
2006-09-20 15:55:03 +00:00
parent 108d4445a8
commit 209b2ba68a
4 changed files with 11 additions and 6 deletions

View File

@@ -23,9 +23,6 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
VPI = {s : VPIForm => Agr => Str} ; VPI = {s : VPIForm => Agr => Str} ;
[VPI] = {s1,s2 : VPIForm => Agr => Str} ; [VPI] = {s1,s2 : VPIForm => Agr => Str} ;
param
VPIForm = VPIInf | VPIPPart ;
lin lin
BaseVPI = twoTable2 VPIForm Agr ; BaseVPI = twoTable2 VPIForm Agr ;
ConsVPI = consrTable2 VPIForm Agr comma ; ConsVPI = consrTable2 VPIForm Agr comma ;

View File

@@ -424,4 +424,10 @@ resource ResEng = ParamX ** open Prelude in {
} }
} ; } ;
-- for VP conjunction
param
VPIForm = VPIInf | VPIPPart ;
} }

View File

@@ -34,9 +34,6 @@ incomplete concrete ExtraScand of ExtraScandAbs = CatScand **
VPI = {s : VPIForm => Agr => Str} ; VPI = {s : VPIForm => Agr => Str} ;
[VPI] = {s1,s2 : VPIForm => Agr => Str} ; [VPI] = {s1,s2 : VPIForm => Agr => Str} ;
param
VPIForm = VPIInf | VPISup ; ---- sup not yet used
lin lin
BaseVPI = twoTable2 VPIForm Agr ; BaseVPI = twoTable2 VPIForm Agr ;
ConsVPI = consrTable2 VPIForm Agr comma ; ConsVPI = consrTable2 VPIForm Agr comma ;

View File

@@ -67,4 +67,9 @@ interface ResScand = DiffScand ** open CommonScand, Prelude in {
en2,ea2,eext : Bool = False -- indicate if the field exists en2,ea2,eext : Bool = False -- indicate if the field exists
} ; } ;
-- needed for VP conjunction
param
VPIForm = VPIInf | VPISup ; ---- sup not yet used
} }