GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-16 00:09:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

more work with Parametric

Browse Source
This commit is contained in:
aarne
2008-09-30 20:21:33 +00:00
parent e9d67dbd2d
commit 08110bf103
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
next-lib/src/parametric/Parametric.gf
View File

@@ -4,15 +4,14 @@ oper
-- primitive
PS : Type ;
S : Type ;
Cl : Type ;
NP : Type ;
CN : Type ;
AP : Type ;
VPComp : Type ;
ITense : Type ;
CCase : Type ;
Agr : Type ;
@@ -28,8 +27,14 @@ oper
insertVPComp : VPComp -> VP -> VP ;
insertNP : CCase -> NP -> VP -> VP ;
iTense : Tense -> ITense ;
-- derived
Cl : Type = {s : ITense => Polarity => S} ;
VP : Type = {
verb : V ;
comp : VPComp
@@ -46,4 +51,8 @@ oper
\v,comp,adv,ext,c ->
insertVPComp (mkVPComp comp adv ext) (UseV v) ** {c = c} ;
ComplSlash : VPSlash -> NP -> VP = \vp,np -> insertNP vp.c np vp ;
UseCl : Tense -> Polarity -> Cl -> S = \t,p,cl -> cl.s ! iTense t ! p ;
}