tested "minimal" resource to compile Foods and Bronzeage

examples/bronzeage/BronzeageEng.gf

@@ -1,4 +1,4 @@
---# -path=.:present
+--# -path=.:minimal:present
 
 concrete BronzeageEng of Bronzeage = SwadeshEng ** BronzeageI with
   (Syntax = SyntaxEng) ** open ResEng in {

examples/bronzeage/SwadeshEng.gf

@@ -2,6 +2,5 @@
 
 concrete SwadeshEng of Swadesh = SwadeshI with
   (Syntax = SyntaxEng),
-  (L = LexiconEng),
   (Lexicon = LexiconEng) ;
 

examples/tutorial/resource-foods/FoodsEng.gf

@@ -1,4 +1,4 @@
---# -path=.:../foods:present:prelude
+--# -path=.:../foods:minimal:present
 
 concrete FoodsEng of Foods = open SyntaxEng,ParadigmsEng in {
   lincat
@@ -8,10 +8,10 @@ concrete FoodsEng of Foods = open SyntaxEng,ParadigmsEng in {
     Quality = AP ;
   lin
     Is item quality = mkCl item quality ;
-    This kind = mkNP this_QuantSg kind ;
+    This kind = mkNP this_Quant kind ;
-    That kind = mkNP that_QuantSg kind ;
+    That kind = mkNP that_Quant kind ;
-    These kind = mkNP these_QuantPl kind ;
+    These kind = mkNP this_Quant plNum kind ;
-    Those kind = mkNP those_QuantPl kind ;
+    Those kind = mkNP that_Quant plNum kind ;
     QKind quality kind = mkCN quality kind ;
     Wine = mkCN (mkN "wine") ;
     Pizza = mkCN (mkN "pizza") ;

examples/tutorial/resource-foods/FoodsI.gf

@@ -2,16 +2,16 @@
 
 incomplete concrete FoodsI of Foods = open Syntax, LexFoods in {
   lincat
-    Phrase = Cl ; 
+    Phrase = Utt ; 
     Item = NP ;
     Kind = CN ;
     Quality = AP ;
   lin
-    Is item quality = mkCl item quality ;
+    Is item quality = mkUtt (mkCl item quality) ;
-    This kind = mkNP this_QuantSg kind ;
+    This kind = mkNP this_Quant kind ;
-    That kind = mkNP that_QuantSg kind ;
+    That kind = mkNP that_Quant kind ;
-    These kind = mkNP these_QuantPl kind ;
+    These kind = mkNP this_Quant plNum kind ;
-    Those kind = mkNP those_QuantPl kind ;
+    Those kind = mkNP that_Quant plNum kind ;
     QKind quality kind = mkCN quality kind ;
     Very quality = mkAP very_AdA quality ;
 

examples/tutorial/resource-foods/FoodsIta.gf

@@ -1,4 +1,4 @@
---# -path=.:../foods:present:prelude
+--# -path=.:../foods:minimal:present:prelude
 
 concrete FoodsIta of Foods = FoodsI with 
   (Syntax = SyntaxIta),

next-lib/src/Make.hs

@@ -55,6 +55,9 @@ langsLang = langs `except` ["Ara","Ina"]
 -- languages for which to compile Try 
 langsAPI  = langsLang `except` ["Ara","Hin","Ina","Tha"]
 
+-- languages for which to compile minimal Syntax
+langsMinimal = langs `only` ["Eng","Bul","Ita"]
+
 -- languages for which to run treebank test
 langsTest = langsLang `except` ["Ara","Bul","Cat","Hin","Rus","Spa","Tha"]
 
@@ -97,6 +100,9 @@ make xx = do
     mapM_ (gfc pres presApiPath . try) (optl langsAPI)
     mapM_ (gfc pres presApiPath . symbolic) (optl langsAPI)
     copy "*/*.gfo" dir
+  ifx "minimal" $ do
+    mapM_ (gfcmin presApiPath . syntax) (optl langsMinimal)
+    copy "api/*.gfo" "../minimal"
   ifxx "pgf" $ do
     run_gfc $ ["-s","--make","--name=langs","--parser=off",
                "--output-dir=" ++ dir]
@@ -126,6 +132,11 @@ gfc pres ppath file = do
   putStrLn $ "Compiling " ++ file
   run_gfc ["-s","-src", preproc, path, file]
 
+gfcmin path file = do
+  let preproc = "-preproc=./mkMinimal"
+  putStrLn $ "Compiling minimal " ++ file
+  run_gfc ["-s","-src", preproc, path, file]
+
 gf comm file = do
   putStrLn $ "Reading " ++ file
   let cmd = "echo \"" ++ comm ++ "\" | gf -s " ++ file
@@ -142,6 +153,7 @@ lang (lla,la) = lla ++ "/All" ++ la ++ ".gf"
 compat (lla,la) = lla ++ "/Compatibility" ++ la ++ ".gf"
 symbol (lla,la) = lla ++ "/Symbol" ++ la ++ ".gf"
 try  (lla,la) = "api/Try"  ++ la ++ ".gf"
+syntax (lla,la) = "api/Syntax"  ++ la ++ ".gf"
 symbolic (lla,la) = "api/Symbolic"  ++ la ++ ".gf"
 parse (lla,la) = "parse/Parse" ++ la ++ ".gf"
 

next-lib/src/api/Constructors.gf

@@ -962,8 +962,8 @@ incomplete resource Constructors = open Grammar in {
                                          =    \y -> ExistNP (DetArtSg IndefArt y) ; --# notminimal
       mkCl : NP -> Cl          -- there is a house --# notminimal
                                          =    ExistNP    ; --# notminimal
-      mkCl : NP -> AP -> Cl    -- John is nice and warm  --# notminimal 
+      mkCl : NP -> AP -> Cl    -- John is nice and warm 
-	                      =     \x,y -> PredVP x (UseComp (CompAP y)) ; --# notminimal
+	                      =     \x,y -> PredVP x (UseComp (CompAP y)) ; 
       mkCl : NP -> A  -> Cl    -- John is warm   
                       =     \x,y -> PredVP x (UseComp (CompAP (PositA y))) ;   
       mkCl : NP -> A -> NP -> Cl -- John is warmer than Mary   
@@ -1124,8 +1124,8 @@ incomplete resource Constructors = open Grammar in {
     mkCard = overload {  
       mkCard : Numeral -> Card  
         = NumNumeral ;  
-      mkCard : Digits -> Card         -- 51  
+      mkCard : Digits -> Card         -- 51  --# notminimal
-        = NumDigits ;  
+        = NumDigits ;  --# notminimal
       mkCard : AdN -> Card -> Card --# notminimal
         = AdNum --# notminimal
       } ;
@@ -1539,11 +1539,11 @@ incomplete resource Constructors = open Grammar in {
         = \t,u -> {s = t.s ++ u.s ; lock_Text = <>} ; --# notminimal
       } ;  
 
-    mkVP = overload { --# notminimal
+    mkVP = overload { 
-      mkVP : V   -> VP                -- sleep --# notminimal
+      mkVP : V   -> VP                -- sleep 
-                                         =    UseV      ; --# notminimal
+                                         =    UseV      ; 
-      mkVP : V2  -> NP -> VP          -- use it --# notminimal
+      mkVP : V2  -> NP -> VP          -- use it 
-                                         =    ComplV2   ; --# notminimal
+                                         =    ComplV2   ; 
       mkVP : V3  -> NP -> NP -> VP    -- send a message to her --# notminimal
                                          =    ComplV3   ; --# notminimal
       mkVP : VV  -> VP -> VP          -- want to run --# notminimal
@@ -1580,15 +1580,15 @@ incomplete resource Constructors = open Grammar in {
                              = \y -> (UseComp (CompNP (DetArtSg IndefArt (UseN y)))) ; --# notminimal
       mkVP : Adv -> VP               -- be here --# notminimal
                                          =    \a -> UseComp (CompAdv a)   ; --# notminimal
-      mkVP : VP -> Adv -> VP          -- sleep here --# notminimal
+      mkVP : VP -> Adv -> VP          -- sleep here 
-                                         =    AdvVP     ; --# notminimal
+                                         =    AdvVP     ; 
       mkVP : AdV -> VP -> VP          -- always sleep --# notminimal
                                          =    AdVVP ; --# notminimal
       mkVP : VPSlash -> NP -> VP          -- always sleep --# notminimal
                                          =    ComplSlash ; --# notminimal
       mkVP : VPSlash -> VP --# notminimal
         = ReflVP --# notminimal
-      } ; --# notminimal
+      } ; 
 
   reflexiveVP   : V2 -> VP = \v -> ReflVP (SlashV2a v) ; --# notminimal
 

next-lib/src/api/minimals.txt

@@ -1,16 +1,13 @@
 ASimul
 AdAP
 AdjCN
+AdvVP
 CompAP
 CompAdv
 CompNP
 ComparA
 ComplSlash
-ComplV2
-ComplV3
 DefArt
-DetArtCard
-DetArtSg
 DetCN
 DetQuant
 Grammar
@@ -22,22 +19,17 @@ MassNP
 NoPConj
 NoVoc
 NumCard
-NumDigits
 NumNumeral
 NumPl
 NumSg
-PExclMark
-PFullStop
 PNeg
 PPos
-PQuestMark
 PhrUtt
 PositA
 PositAdvAdj
 PredVP
 PredetNP
 PrepNP
-Quant
 QuestCl
 QuestIAdv
 QuestVP
@@ -45,14 +37,11 @@ Slash3V3
 SlashV2A
 SlashV2a
 TEmpty
-TEmpty;
 TExclMark
 TFullStop
 TPres
 TQuestMark
 TTAnt
-TUseCl
-TUseQCl
 UseCl
 UseComp
 UseN