Arabic compiles now in 1.5

1 files changed, 26 insertions, 0 deletions

diff --git a/next-lib/src/arabic/ExtAra.gf b/next-lib/src/arabic/ExtAra.gf
new file mode 100644
index 000000000..120c7caea
--- /dev/null
+++ b/next-lib/src/arabic/ExtAra.gf
@@ -0,0 +1,26 @@
+concrete ExtAra of ExtAraAbs = CatAra ** open ResAra in {
+--
+--  lincat
+--
+--    Aux = {s : Polarity => Str} ;
+--    
+--  lin
+-- 
+--    PredAux np aux vp = mkClause (np.s ! Nom) np.a {
+--      s = \\t,ant,b,ord,agr => 
+--        let 
+--          fin  = aux.s ! b ;
+--          vf : Str -> Str -> {fin, inf : Str} = \x,y -> 
+--            {fin = x ; inf = y} ;
+--        in
+--        case ant of {
+--          Simul => vf fin [] ;
+--          Anter => vf fin "هَثي"
+--          } ;
+--      s2 = \\agr => infVP vp agr
+--      } ;
+--
+--    can_Aux  = {s = \\p => posneg p "عَن"} ; ---- cannt
+--    must_Aux = {s = \\p => posneg p "مُست"} ;
+--
+}