made App into a functor to make its body easier to modify; unfortunately, the import list must be copied however

1 files changed, 1 insertions, 29 deletions

diff --git a/examples/app/AppTha.gf b/examples/app/AppTha.gf
index c2f8c2bb7..8c46afa8d 100644
--- a/examples/app/AppTha.gf
+++ b/examples/app/AppTha.gf
@@ -24,33 +24,5 @@ concrete AppTha of App =
     PassVPSlash, PassAgentVPSlash -- not reachable anyway
   ]
 
- --P ,PhrasebookTha - [at_Prep, closed_A, open_A] --- - [PSentence, PQuestion, PGreetingMale, PGreetingFemale, GObjectPlease, open_Adv, closed_A, open_A, at_Prep, by_Prep]
+   ** AppFunctor with (Syntax = SyntaxTha) ;
 
-    ** open ParadigmsTha, SyntaxTha, Prelude in {
-
-flags
-  literal=Symb ;
-
-
--- to suppress punctuation
-lin
-----  PSentence, PQuestion = \s -> lin Text (mkUtt s) ;
-----  PGreetingMale, PGreetingFemale = \s -> lin Text s ;
-----  GObjectPlease o = lin Text (mkUtt o) ;
-
-  PhrasePhr p = {s = "+" ++ p.s} | p ;
-  Phrase_Chunk p = p ;
-
-
-ComplV2V v np vp = mkVP v np vp ;
-ComplV2A v np vp = mkVP v np vp ;
-ComplV2Q v np vp = mkVP v np vp ;
-ComplV2S v np vp = mkVP v np vp ;
-ComplV3  v np vp = mkVP v np vp ;
-
-
-ComplV2 v np = mkVP v np ;
-
-  PassV2 v2 = passiveVP v2 ;
-  PassV2 v2 = passiveVP v2 ;
-}