(Hun) Restructure adpositions

This commit is contained in:
Inari Listenmaa
2020-04-22 19:55:11 +02:00
parent e54fa4d4ad
commit 3705c9229d
5 changed files with 41 additions and 18 deletions
+4 -4
View File
@@ -90,7 +90,7 @@ oper
} ;
prePrep : Str -> Case -> Prep -- Preposition
= \s,c -> lin Prep {pr=s ; s=[] ; c=c} ;
= \s,c -> lin Prep (ResHun.prepos c s) ;
casePrep : Case -> Prep ; -- No postposition, only case
@@ -190,13 +190,13 @@ oper
mkPrep = overload {
mkPrep : (e : Str) -> Prep
= \str -> lin Prep (ResHun.mkPrep str) ;
= \str -> lin Prep (ResHun.nomAdp str) ;
mkPrep : Str -> Case -> Prep
= \str,c -> lin Prep (ResHun.mkPrep str ** {c = c}) ;
= \str,c -> lin Prep (ResHun.caseAdp c str) ;
} ;
casePrep : Case -> Prep
= \c -> lin Prep (ResHun.mkPrep [] ** {c = c}) ;
= \c -> lin Prep (ResHun.caseAdp c) ;
--------------------------------------------------------------------------------
}