GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-23 01:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

AdjOrd instance of mkAP

Browse Source
This commit is contained in:
aarne
2008-10-10 12:26:09 +00:00
parent 7a5d3da347
commit 76e9964d98
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
next-lib/src/api/Constructors.gf
View File

@@ -868,7 +868,7 @@ incomplete resource Constructors = open Grammar in {
= ComparA ; = ComparA ;
mkAP : A2 -> NP -> AP -- divisible by 2 mkAP : A2 -> NP -> AP -- divisible by 2
= ComplA2 ; = ComplA2 ;
mkAP : A2 -> AP -- divisible by itself mkAP : A2 -> AP -- divisible
= UseA2 ; = UseA2 ;
mkAP : AP -> S -> AP -- great that she won mkAP : AP -> S -> AP -- great that she won
= \ap,s -> SentAP ap (EmbedS s) ; = \ap,s -> SentAP ap (EmbedS s) ;
@@ -884,6 +884,9 @@ incomplete resource Constructors = open Grammar in {
= \c,x,y -> ConjAP c (BaseAP x y) ; = \c,x,y -> ConjAP c (BaseAP x y) ;
mkAP : Conj -> ListAP -> AP mkAP : Conj -> ListAP -> AP
= \c,xy -> ConjAP c xy ; = \c,xy -> ConjAP c xy ;
mkAP : Ord -> AP
= AdjOrd ;
} ; } ;
reflAP = ReflA2 ; reflAP = ReflA2 ;