summaryrefslogtreecommitdiff
path: root/examples/app/AppFunctor.gf
diff options
context:
space:
mode:
authorKrasimir Angelov <kr.angelov@gmail.com>2018-06-20 13:06:15 +0200
committerKrasimir Angelov <kr.angelov@gmail.com>2018-06-20 13:06:15 +0200
commitd8eac259e4782c03be8b22274ee6025499457ab6 (patch)
treed632ca03451a0ce630311a0404b7833e17f0b8e8 /examples/app/AppFunctor.gf
parent09d576f5b4b7c450ed41e86d5cc24557a1ffba11 (diff)
parent485938103c6f9350575b79a4d4372c0b70439e04 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
Diffstat (limited to 'examples/app/AppFunctor.gf')
-rw-r--r--examples/app/AppFunctor.gf51
1 files changed, 0 insertions, 51 deletions
diff --git a/examples/app/AppFunctor.gf b/examples/app/AppFunctor.gf
deleted file mode 100644
index fafb82c54..000000000
--- a/examples/app/AppFunctor.gf
+++ /dev/null
@@ -1,51 +0,0 @@
-incomplete concrete AppFunctor of App =
-
- Translate - [
- -- Verb
- SlashV2a,ComplSlash, -- replaced by a more efficient inlined version
- SlashV2V,
- Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A,
- SlashVV, SlashV2VNP,
- AdvVPSlash, AdVVPSlash, VPSlashPrep,
- -- Sentence
- SlashVP, SlashVS,
- PredSCVP,
- AdvSlash, SlashPrep, SlashVS,
- EmbedS, EmbedQS, EmbedVP, RelS,
- -- Question
- ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
- -- Idiom
- CleftNP, CleftAdv,
- ImpP3,
- -- 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 ;
--- 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 ;
-
-
-
- PassV2 v2 = passiveVP v2 ;
- PassAgentV2 v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ;
- RelV2 rp np v2 = mkRCl rp (mkClSlash np (mkVPSlash v2)) ;
- QuestV2 ip np v2 = mkQCl ip (mkClSlash np (mkVPSlash v2)) ;
-
-}