From 917f417413c0181a0a3f41f2dd65abbc80f9edf6 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 10 Oct 2008 12:26:09 +0000
Subject: [PATCH] AdjOrd instance of mkAP

---
 next-lib/src/api/Constructors.gf | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 ;