summaryrefslogtreecommitdiff
path: root/examples/app/AppFunctor.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2016-06-05 17:48:11 +0000
committeraarne <aarne@chalmers.se>2016-06-05 17:48:11 +0000
commite755c013f8ad6e5b2f79c6ebb3e8748a981d7cd5 (patch)
tree32c66a242665a05e9ff673120e14e4c5f2678567 /examples/app/AppFunctor.gf
parentbd8c6cc4e46ec211176bd8088318d97d6ba676bc (diff)
added PassAgentV2 to App, and the specialized syntax functions to app.probs
Diffstat (limited to 'examples/app/AppFunctor.gf')
-rw-r--r--examples/app/AppFunctor.gf1
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/app/AppFunctor.gf b/examples/app/AppFunctor.gf
index b96bf1b1c..660f1ed57 100644
--- a/examples/app/AppFunctor.gf
+++ b/examples/app/AppFunctor.gf
@@ -39,6 +39,7 @@ lin
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)) ;