From df65c52cdeb4852363f90582c1dca96afa38e346 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Fri, 9 Nov 2018 16:38:51 +0100
Subject: [PATCH] (Ara) Passive constructions

---
 src/arabic/ResAra.gf  | 11 +++++++++++
 src/arabic/VerbAra.gf |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/arabic/ResAra.gf b/src/arabic/ResAra.gf
index 93f046c76..f9f60c7be 100644
--- a/src/arabic/ResAra.gf
+++ b/src/arabic/ResAra.gf
@@ -1263,6 +1263,17 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
         isPred = False
       };
 
+    passPredV : Verb -> VP = \v ->
+      let actVP = predV v in actVP ** { 
+        s = \\pgn,vf =>
+          case vf of {
+            VPPerf   => v.s ! (VPerf   Pas pgn) ;
+            VPImpf m => v.s ! (VImpf m Pas pgn) ;
+            _        => actVP.s ! pgn ! vf
+        }
+      };
+
+
    predVSlash : Verb2 -> VPSlash = \v ->
      predV v ** {c2 = v.c2} ;
 
diff --git a/src/arabic/VerbAra.gf b/src/arabic/VerbAra.gf
index 6c98e5b84..ad04fb905 100644
--- a/src/arabic/VerbAra.gf
+++ b/src/arabic/VerbAra.gf
@@ -44,7 +44,7 @@ concrete VerbAra of Verb = CatAra ** open Prelude, ResAra in {
 --
 --    ReflV2 v = insertObj (\\a => v.c2 ++ reflPron ! a) (predV v) ;
 --
-    PassV2 v = kaan {s = \\_,_ => v.s ! VPPart} ; ---- IL guessed
+    PassV2 = passPredV ;
 --
 --    UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no