summaryrefslogtreecommitdiff
path: root/examples/app/AppFunctor.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/app/AppFunctor.gf')
-rw-r--r--examples/app/AppFunctor.gf7
1 files changed, 6 insertions, 1 deletions
diff --git a/examples/app/AppFunctor.gf b/examples/app/AppFunctor.gf
index 660f1ed57..e2b332151 100644
--- a/examples/app/AppFunctor.gf
+++ b/examples/app/AppFunctor.gf
@@ -20,14 +20,19 @@ incomplete concrete AppFunctor of App =
-- Construction
-- Extensions
PassVPSlash, PassAgentVPSlash -- not reachable anyway
- ]
+ ],
+ Phrasebook - [open_Adv]
** open Syntax in {
flags
literal=Symb ;
+ case_sensitive=off ;
lin
+ PhrasePhr p = {s = "+" ++ p.s} | p ;
+ Phrase_Chunk p = p ;
+
ComplV2 v np = mkVP v np ;
ComplV2V v np vp = mkVP v np vp ;