msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

(Ara) overload mkV2

Browse Source
This commit is contained in:
Inari Listenmaa
2018-09-18 17:51:57 +02:00
parent 1fda8277dd
commit 79878469e3
1 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/arabic/ParadigmsAra.gf
View File

@@ -180,7 +180,7 @@ resource ParadigmsAra = open
--Verb Form V : tafa``ala --Verb Form V : tafa``ala
v5 : Str -> V ; v5 : Str -> V ;
--Verb Form VI : tafaa`ala --Verb Form VI : tafaa`ala
v6 : Str -> V ; v6 : Str -> V ;
@@ -194,7 +194,11 @@ resource ParadigmsAra = open
-- Two-place verbs need a preposition, except the special case with direct object. -- Two-place verbs need a preposition, except the special case with direct object.
-- (transitive verbs). Notice that a particle comes from the $V$. -- (transitive verbs). Notice that a particle comes from the $V$.
mkV2 : V -> Preposition -> V2 ; mkV2 = overload {
mkV2 : V -> V2 = dirV2 ;
mkV2 : V -> Preposition -> V2 = prepV2 ;
mkV2 : Str -> V2 = strV2;
} ;
dirV2 : V -> V2 ; dirV2 : V -> V2 ;
@@ -497,8 +501,11 @@ resource ParadigmsAra = open
mkAdA x = ss x ** {lock_AdA = <>} ; mkAdA x = ss x ** {lock_AdA = <>} ;
mkPreposition p = p ; mkPreposition p = p ;
mkV2 v p = v ** {s = v.s ; c2 = p ; lock_V2 = <>} ;
dirV2 v = mkV2 v [] ; prepV2 : V -> Preposition -> V2 = \v,p -> v ** {s = v.s ; c2 = p ; lock_V2 = <>} ;
strV2 : Str -> V2 = \str -> dirV2 (mkV str) ;
dirV2 v = prepV2 v [] ;
mkV3 v p q = v ** {s = v.s ; c2 = p ; c3 = q ; lock_V3 = <>} ; mkV3 v p q = v ** {s = v.s ; c2 = p ; c3 = q ; lock_V3 = <>} ;
dirV3 v p = mkV3 v [] p ; dirV3 v p = mkV3 v [] p ;