diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-10 12:26:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-10 12:26:09 +0000 |
| commit | 917f417413c0181a0a3f41f2dd65abbc80f9edf6 (patch) | |
| tree | dd1cffb70d3d5ce65705a88eb43453d194da93da /next-lib/src/api | |
| parent | 88798b2a23c90ce92ec6062ec1ca43f45ee8fe18 (diff) | |
AdjOrd instance of mkAP
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/Constructors.gf | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index b34e7a620..ed7b01560 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -868,7 +868,7 @@ incomplete resource Constructors = open Grammar in { = ComparA ; mkAP : A2 -> NP -> AP -- divisible by 2 = ComplA2 ; - mkAP : A2 -> AP -- divisible by itself + mkAP : A2 -> AP -- divisible = UseA2 ; mkAP : AP -> S -> AP -- great that she won = \ap,s -> SentAP ap (EmbedS s) ; @@ -884,6 +884,9 @@ incomplete resource Constructors = open Grammar in { = \c,x,y -> ConjAP c (BaseAP x y) ; mkAP : Conj -> ListAP -> AP = \c,xy -> ConjAP c xy ; + mkAP : Ord -> AP + = AdjOrd ; + } ; reflAP = ReflA2 ; |