marked Constructors that don't belong to a minimal implementation of RG

next-lib/src/Makefile

@@ -50,7 +50,7 @@ synopsis:
 	cd doc ; $(RUNGHC) MkSynopsis ; cd ..
 
 link:
-	chmod a+x mkPresent
+	chmod a+x mkPresent mkMinimal
 
 compiled:
 	(cd .. && tar -zcf resource-compiled.tar.gz prelude alltenses present)

next-lib/src/api/Combinators.gf

@@ -89,24 +89,24 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
            = \v,np,ob -> mkCl np v ob ;
       pred : V3 -> NP -> NP -> NP -> Cl 
            = \v,np,ob,ob2 -> mkCl np v ob ob2 ;
-      pred : V  -> NP -> NP -> Cl
+      pred : V  -> NP -> NP -> Cl  --# notminimal
-           = \v,x,y -> mkCl (mkNP and_Conj x y) v ;
+           = \v,x,y -> mkCl (mkNP and_Conj x y) v ;  --# notminimal
       pred : A  -> NP -> Cl 
            = \a,np -> mkCl np a ;
-      pred : A2 -> NP -> NP -> Cl
+      pred : A2 -> NP -> NP -> Cl  --# notminimal
-           = \a,x,y -> mkCl x a y ;
+           = \a,x,y -> mkCl x a y ;  --# notminimal
-      pred : A  -> NP -> NP -> Cl      
+      pred : A  -> NP -> NP -> Cl        --# notminimal
-           = \a,x,y -> mkCl (mkNP and_Conj x y) a ;
+           = \a,x,y -> mkCl (mkNP and_Conj x y) a ;  --# notminimal
       pred : N -> NP -> Cl
            = \n,x -> mkCl x (mkNP a_Art n) ;
       pred : CN -> NP -> Cl
            = \n,x -> mkCl x (mkNP a_Art n) ;
       pred : NP -> NP -> Cl
            = \n,x -> mkCl x n ;
-      pred : N2 -> NP -> NP -> Cl 
+      pred : N2 -> NP -> NP -> Cl   --# notminimal
-           = \n,x,y -> mkCl x (mkNP a_Art (mkCN n y)) ;
+           = \n,x,y -> mkCl x (mkNP a_Art (mkCN n y)) ;  --# notminimal
-      pred : N -> NP -> NP -> Cl 
+      pred : N -> NP -> NP -> Cl   --# notminimal
-           = \n,x,y -> mkCl (mkNP and_Conj x y) (mkNP a_Art plNum n) ;
+           = \n,x,y -> mkCl (mkNP and_Conj x y) (mkNP a_Art plNum n) ;  --# notminimal
       pred : Adv -> NP -> Cl 
            = \a,x -> mkCl x a ;
       pred : Prep -> NP -> NP -> Cl        
@@ -116,40 +116,40 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
     app = overload {
       app : N  -> NP
            = \n -> mkNP the_Art n ;
-      app : N2 -> NP -> NP 
+      app : N2 -> NP -> NP   --# notminimal
-           = \n,x -> mkNP the_Art (mkCN n x) ;
+           = \n,x -> mkNP the_Art (mkCN n x) ;  --# notminimal
-      app : N3 -> NP -> NP -> NP
+      app : N3 -> NP -> NP -> NP  --# notminimal
-           = \n,x,y -> mkNP the_Art (mkCN n x y) ;
+           = \n,x,y -> mkNP the_Art (mkCN n x y) ;  --# notminimal
-      app : N2 -> NP -> NP -> NP
+      app : N2 -> NP -> NP -> NP  --# notminimal
-           = \n,x,y -> mkNP the_Art (mkCN n (mkNP and_Conj x y)) ;
+           = \n,x,y -> mkNP the_Art (mkCN n (mkNP and_Conj x y)) ;  --# notminimal
-      app : N2 -> N -> CN
+      app : N2 -> N -> CN  --# notminimal
-           = \f,n -> mkCN f (mkNP a_Art plNum n) ;
+           = \f,n -> mkCN f (mkNP a_Art plNum n) ;  --# notminimal
-      app : N2 -> NP -> CN 
+      app : N2 -> NP -> CN   --# notminimal
-           = mkCN ;
+           = mkCN ;  --# notminimal
-      app : N3 -> NP -> NP -> CN 
+      app : N3 -> NP -> NP -> CN   --# notminimal
-           = mkCN ;
+           = mkCN ;  --# notminimal
-      app : N2 -> NP -> NP -> CN 
+      app : N2 -> NP -> NP -> CN   --# notminimal
-           = \n,x,y -> mkCN n (mkNP and_Conj x y) ;
+           = \n,x,y -> mkCN n (mkNP and_Conj x y) ;  --# notminimal
       } ;
 
-    coord = overload {
+    coord = overload {  --# notminimal
-      coord : Conj -> Adv -> Adv -> Adv
+      coord : Conj -> Adv -> Adv -> Adv  --# notminimal
-           = mkAdv ;
+           = mkAdv ;  --# notminimal
-      coord : Conj -> AP -> AP -> AP
+      coord : Conj -> AP -> AP -> AP  --# notminimal
-           = mkAP ;
+           = mkAP ;  --# notminimal
-      coord : Conj -> NP -> NP -> NP
+      coord : Conj -> NP -> NP -> NP  --# notminimal
-           = mkNP ;
+           = mkNP ;  --# notminimal
-      coord : Conj -> S  -> S  -> S  
+      coord : Conj -> S  -> S  -> S  --# notminimal  
-           = mkS ;
+           = mkS ;  --# notminimal
-      coord : Conj -> ListAdv -> Adv
+      coord : Conj -> ListAdv -> Adv  --# notminimal
-           = mkAdv ;
+           = mkAdv ;  --# notminimal
-      coord : Conj -> ListAP -> AP
+      coord : Conj -> ListAP -> AP  --# notminimal
-           = mkAP ;
+           = mkAP ;  --# notminimal
-      coord : Conj -> ListNP -> NP
+      coord : Conj -> ListNP -> NP  --# notminimal
-           = mkNP ;
+           = mkNP ;  --# notminimal
-      coord : Conj -> ListS  -> S  
+      coord : Conj -> ListS  -> S    --# notminimal
-           = mkS ;
+           = mkS ;  --# notminimal
-      } ;
+      } ;  --# notminimal
 
     mod = overload {
       mod : A -> N -> CN
@@ -179,8 +179,8 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
 	   = mkS negativePol ;
       neg : QCl -> QS 
            = mkQS negativePol ;
-      neg : RCl -> RS 
+      neg : RCl -> RS   --# notminimal
-           = mkRS negativePol ;
+           = mkRS negativePol ;  --# notminimal
     };
 
 

next-lib/src/api/minimals.txt

@@ -0,0 +1,87 @@
+ASimul
+AdAP
+AdjCN
+CompAP
+CompAdv
+CompNP
+ComparA
+ComplSlash
+ComplV2
+ComplV3
+DefArt
+DetArtCard
+DetArtSg
+DetCN
+DetQuant
+Grammar
+IdetCN
+IdetQuant
+ImpVP
+IndefArt
+MassNP
+NoPConj
+NoVoc
+NumCard
+NumDigits
+NumNumeral
+NumPl
+NumSg
+PExclMark
+PFullStop
+PNeg
+PPos
+PQuestMark
+PhrUtt
+PositA
+PositAdvAdj
+PredVP
+PredetNP
+PrepNP
+Quant
+QuestCl
+QuestIAdv
+QuestVP
+Slash3V3
+SlashV2A
+SlashV2a
+TEmpty
+TEmpty;
+TExclMark
+TFullStop
+TPres
+TQuestMark
+TTAnt
+TUseCl
+TUseQCl
+UseCl
+UseComp
+UseN
+UsePN
+UsePron
+UseQCl
+UseV
+UttAdv
+UttIAdv
+UttIP
+UttImpSg
+UttNP
+UttQS
+UttS
+n2
+n3
+n4
+n5
+n6
+n7
+n8
+n9
+plNum
+pot0
+pot01
+pot0as1
+pot1
+pot110
+pot1as2
+pot2
+pot2as3
+pot3

next-lib/src/mkMinimal

@@ -0,0 +1 @@
+grep -v "\-\-\# notminimal" $1