1
0
forked from GitHub/gf-rgl

(Ara) tabs to spaces

This commit is contained in:
Inari Listenmaa
2018-09-26 14:58:59 +02:00
parent dc9b27e74c
commit 8174fd55a8
2 changed files with 16 additions and 16 deletions

View File

@@ -4,15 +4,15 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
lin lin
PositA a = { PositA a = {
s = \\h,g,n,d,c => case h of { s = \\h,g,n,d,c => case h of {
Hum => a.s ! APosit g n d c; Hum => a.s ! APosit g n d c;
NoHum => case n of { NoHum => case n of {
Pl => a.s ! APosit Fem Sg d c ; Pl => a.s ! APosit Fem Sg d c ;
_ => a.s ! APosit g n d c _ => a.s ! APosit g n d c
} }
} }
}; };
---- guessed by AR ---- guessed by AR
ComparA a np = { ComparA a np = {
s = \\sp,g,n,st,c => a.s ! AComp st c ++ "مِنْ" ++ np.s ! Gen ; s = \\sp,g,n,st,c => a.s ! AComp st c ++ "مِنْ" ++ np.s ! Gen ;
@@ -20,9 +20,9 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
-- --
-- $SuperlA$ belongs to determiner syntax in $Noun$. -- $SuperlA$ belongs to determiner syntax in $Noun$.
-- --
ComplA2 a np = { ComplA2 a np = {
s = \\sp,g,n,st,c => a.s ! APosit g n st c ++ a.c2 ++ np.s ! Gen ; s = \\sp,g,n,st,c => a.s ! APosit g n st c ++ a.c2 ++ np.s ! Gen ;
} ; } ;
-- --
-- ReflA2 a = { -- ReflA2 a = {
-- s = \\ag => a.s ! AAdj Posit ++ a.c2 ++ reflPron ! ag ; -- s = \\ag => a.s ! AAdj Posit ++ a.c2 ++ reflPron ! ag ;
@@ -34,9 +34,9 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
-- isPre = False -- isPre = False
-- } ; -- } ;
-- --
AdAP ada ap = { AdAP ada ap = {
s = \\sp,g,n,st,c => ada.s ++ ap.s ! sp ! g ! n ! st ! c s = \\sp,g,n,st,c => ada.s ++ ap.s ! sp ! g ! n ! st ! c
} ; } ;
-- --
-- UseA2 a = a ; -- UseA2 a = a ;
-- --

View File

@@ -1116,8 +1116,8 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
IP : Type = { IP : Type = {
s : Gender -- because of CompIP s : Gender -- because of CompIP
=> State => Case -- because of PrepIP: e.g. "in which" chooses definite accusative => State => Case -- because of PrepIP: e.g. "in which" chooses definite accusative
=> Str ; => Str ;
n : Number n : Number
} ; } ;
@@ -1140,11 +1140,11 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
-- TODO: does verbal complement agree with the noun -- TODO: does verbal complement agree with the noun
compVP : VP -> Comp = \vp -> ---- IL compVP : VP -> Comp = \vp -> ---- IL
{ s = table { { s = table {
aagr@{g=g ; n=n} => \\c => aagr@{g=g ; n=n} => \\c =>
vp.s ! Per3 g n ! VPImpf Ind ---- IL guesswork + https://arabic.desert-sky.net/g_modals.html vp.s ! Per3 g n ! VPImpf Ind ---- IL guesswork + https://arabic.desert-sky.net/g_modals.html
++ vp.s2 ++ vp.s2
++ vp.pred.s ! aagr ! Acc ++ vp.pred.s ! aagr ! Acc
++ vp.obj.s } ++ vp.obj.s }
} ; } ;
predV : Verb -> VP = \v -> predV : Verb -> VP = \v ->