forked from GitHub/gf-rgl
some more printing
This commit is contained in:
@@ -437,6 +437,7 @@ getHarmony : Str -> Str = \u -> case u of {
|
|||||||
"kk" => ku + "k" ;
|
"kk" => ku + "k" ;
|
||||||
"pp" => ku + "p" ;
|
"pp" => ku + "p" ;
|
||||||
"tt" => ku + "t" ;
|
"tt" => ku + "t" ;
|
||||||
|
"nk" => ku + "ng" ;
|
||||||
"nt" => ku + "nn" ;
|
"nt" => ku + "nn" ;
|
||||||
"mp" => ku + "mm" ;
|
"mp" => ku + "mm" ;
|
||||||
"rt" => ku + "rr" ;
|
"rt" => ku + "rr" ;
|
||||||
@@ -446,7 +447,7 @@ getHarmony : Str -> Str = \u -> case u of {
|
|||||||
_ => ""
|
_ => ""
|
||||||
} ;
|
} ;
|
||||||
"rk" => kul + case o of {
|
"rk" => kul + case o of {
|
||||||
"i" => "rj" ;
|
"i" => "j" ;
|
||||||
_ => ""
|
_ => ""
|
||||||
} ;
|
} ;
|
||||||
"hk" => kukk ; -- *tahko-tahon
|
"hk" => kukk ; -- *tahko-tahon
|
||||||
|
|||||||
@@ -60,18 +60,28 @@ oper
|
|||||||
|
|
||||||
nKukko : (kukko,kukon,kukkoja : Str) -> Gender -> N ;
|
nKukko : (kukko,kukon,kukkoja : Str) -> Gender -> N ;
|
||||||
|
|
||||||
|
-- For convenience, we define 1-argument paradigms as producing the
|
||||||
|
-- nonhuman gender; the following function changes this:
|
||||||
|
|
||||||
|
humanN : N -> N ;
|
||||||
|
|
||||||
-- A special case are nouns with no alternations:
|
-- A special case are nouns with no alternations:
|
||||||
-- the vowel harmony is inferred from the last letter,
|
-- the vowel harmony is inferred from the last letter,
|
||||||
-- which must be one of "o", "u", "ö", "y".
|
-- which must be one of "o", "u", "ö", "y".
|
||||||
|
|
||||||
nTalo : (talo : Str) -> Gender -> N ;
|
nTalo : (talo : Str) -> N ;
|
||||||
|
|
||||||
-- Another special case are nouns where the last two consonants
|
-- Another special case are nouns where the last two consonants
|
||||||
-- undergo regular weak-grade alternation:
|
-- undergo regular weak-grade alternation:
|
||||||
-- "kukko - kukon", "rutto - ruton", "hyppy - hypyn", "sampo - sammon",
|
-- "kukko - kukon", "rutto - ruton", "hyppy - hypyn", "sampo - sammon",
|
||||||
-- "kunto - kunnon", "sisältö - sisällön", .
|
-- "kunto - kunnon", "sisältö - sisällön", .
|
||||||
|
|
||||||
nLukko : (lukko : Str) -> Gender -> N ;
|
nLukko : (lukko : Str) -> N ;
|
||||||
|
|
||||||
|
-- "arpi - arven", "sappi - sapen", "kampi - kammen";"sylki - syljen"
|
||||||
|
|
||||||
|
nArpi : (arpi : Str) -> N ;
|
||||||
|
nSylki : (sylki : Str) -> N ;
|
||||||
|
|
||||||
-- Foreign words ending in consonants are actually similar to words like
|
-- Foreign words ending in consonants are actually similar to words like
|
||||||
-- "malli"/"mallin"/"malleja", with the exception that the "i" is not attached
|
-- "malli"/"mallin"/"malleja", with the exception that the "i" is not attached
|
||||||
@@ -80,18 +90,18 @@ oper
|
|||||||
-- 1-syllabic words ending in "n" would have variant plural genitive and
|
-- 1-syllabic words ending in "n" would have variant plural genitive and
|
||||||
-- partitive forms, like "sultanien"/"sultaneiden", which are not covered.)
|
-- partitive forms, like "sultanien"/"sultaneiden", which are not covered.)
|
||||||
|
|
||||||
nLinux : (linuxia : Str) -> Gender -> N ;
|
nLinux : (linuxia : Str) -> N ;
|
||||||
|
|
||||||
-- Nouns of at least 3 syllables ending with "a" or "ä", like "peruna", "tavara",
|
-- Nouns of at least 3 syllables ending with "a" or "ä", like "peruna", "tavara",
|
||||||
-- "rytinä".
|
-- "rytinä".
|
||||||
|
|
||||||
nPeruna : (peruna : Str) -> Gender -> N ;
|
nPeruna : (peruna : Str) -> N ;
|
||||||
|
|
||||||
-- The following paradigm covers both nouns ending in an aspirated "e", such as
|
-- The following paradigm covers both nouns ending in an aspirated "e", such as
|
||||||
-- "rae", "perhe", "savuke", and also many ones ending in a consonant
|
-- "rae", "perhe", "savuke", and also many ones ending in a consonant
|
||||||
-- ("rengas", "kätkyt"). The singular nominative and essive are given.
|
-- ("rengas", "kätkyt"). The singular nominative and essive are given.
|
||||||
|
|
||||||
nRae : (rae, rakeena : Str) -> Gender -> N ;
|
nRae : (rae, rakeena : Str) -> N ;
|
||||||
|
|
||||||
-- The following covers nouns with partitive "ta"/"tä", such as
|
-- The following covers nouns with partitive "ta"/"tä", such as
|
||||||
-- "susi", "vesi", "pieni". To get all stems and the vowel harmony, it takes
|
-- "susi", "vesi", "pieni". To get all stems and the vowel harmony, it takes
|
||||||
@@ -102,28 +112,32 @@ oper
|
|||||||
-- Nouns ending with a long vowel, such as "puu", "pää", "pii", "leikkuu",
|
-- Nouns ending with a long vowel, such as "puu", "pää", "pii", "leikkuu",
|
||||||
-- are inflected according to the following.
|
-- are inflected according to the following.
|
||||||
|
|
||||||
nPuu : (puu : Str) -> Gender -> N ;
|
nPuu : (puu : Str) -> N ;
|
||||||
|
|
||||||
-- One-syllable diphthong nouns, such as "suo", "tie", "työ", are inflected by
|
-- One-syllable diphthong nouns, such as "suo", "tie", "työ", are inflected by
|
||||||
-- the following.
|
-- the following.
|
||||||
|
|
||||||
nSuo : (suo : Str) -> Gender -> N ;
|
nSuo : (suo : Str) -> N ;
|
||||||
|
|
||||||
-- Many adjectives but also nouns have the nominative ending "nen" which in other
|
-- Many adjectives but also nouns have the nominative ending "nen" which in other
|
||||||
-- cases becomes "s": "nainen", "ihminen", "keltainen".
|
-- cases becomes "s": "nainen", "ihminen", "keltainen".
|
||||||
-- To capture the vowel harmony, we use the partitive form as the argument.
|
-- To capture the vowel harmony, we use the partitive form as the argument.
|
||||||
|
|
||||||
nNainen : (naista : Str) -> Gender -> N ;
|
nNainen : (naista : Str) -> N ;
|
||||||
|
|
||||||
-- The following covers some nouns ending with a consonant, e.g.
|
-- The following covers some nouns ending with a consonant, e.g.
|
||||||
-- "tilaus", "kaulin", "paimen", "laidun".
|
-- "tilaus", "kaulin", "paimen", "laidun".
|
||||||
|
|
||||||
nTilaus : (tilaus,tilauksena : Str) -> Gender -> N ;
|
nTilaus : (tilaus,tilauksena : Str) -> Gender -> N ;
|
||||||
|
|
||||||
|
-- Special case:
|
||||||
|
|
||||||
|
nKulaus : (kulaus : Str) -> N ;
|
||||||
|
|
||||||
-- The following covers nouns like "nauris" and adjectives like "kallis", "tyyris".
|
-- The following covers nouns like "nauris" and adjectives like "kallis", "tyyris".
|
||||||
-- The partitive form is taken to get the vowel harmony.
|
-- The partitive form is taken to get the vowel harmony.
|
||||||
|
|
||||||
nNauris : (naurista : Str) -> Gender -> N ;
|
nNauris : (naurista : Str) -> N ;
|
||||||
|
|
||||||
-- Separately-written compound nouns, like "sambal oelek", "Urho Kekkonen",
|
-- Separately-written compound nouns, like "sambal oelek", "Urho Kekkonen",
|
||||||
-- have only their last part inflected.
|
-- have only their last part inflected.
|
||||||
@@ -231,17 +245,24 @@ oper
|
|||||||
mkNoun a b c d e f g h i j ** {g = k ; lock_N = <>} ;
|
mkNoun a b c d e f g h i j ** {g = k ; lock_N = <>} ;
|
||||||
|
|
||||||
nKukko = \a,b,c,g -> sKukko a b c ** {g = g ; lock_N = <>} ;
|
nKukko = \a,b,c,g -> sKukko a b c ** {g = g ; lock_N = <>} ;
|
||||||
nLukko = \a,g -> sLukko a ** {g = g ; lock_N = <>} ;
|
|
||||||
nTalo = \a,g -> sTalo a ** {g = g ; lock_N = <>} ;
|
humanN = \n -> {s = n.s ; lock_N = n.lock_N ; g = human} ;
|
||||||
nLinux = \a,g -> sLinux a ** {g = g ; lock_N = <>} ;
|
|
||||||
nPeruna = \a,g -> sPeruna a ** {g = g ; lock_N = <>} ;
|
nLukko = \a -> sLukko a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
nRae = \a,b,g -> sRae a b ** {g = g ; lock_N = <>} ;
|
nTalo = \a -> sTalo a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
nArpi = \a -> sArpi a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
nSylki = \a -> sSylki a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
nLinux = \a -> sLinux a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
nPeruna = \a -> sPeruna a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
nRae = \a,b -> sRae a b ** {g = nonhuman ; lock_N = <>} ;
|
||||||
nSusi = \a,b,c,g -> sSusi a b c ** {g = g ; lock_N = <>} ;
|
nSusi = \a,b,c,g -> sSusi a b c ** {g = g ; lock_N = <>} ;
|
||||||
nPuu = \a,g -> sPuu a ** {g = g ; lock_N = <>} ;
|
nPuu = \a -> sPuu a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
nSuo = \a,g -> sSuo a ** {g = g ; lock_N = <>} ;
|
nSuo = \a -> sSuo a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
nNainen = \a,g -> sNainen a ** {g = g ; lock_N = <>} ;
|
nNainen = \a -> sNainen a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
nTilaus = \a,b,g -> sTilaus a b ** {g = g ; lock_N = <>} ;
|
nTilaus = \a,b,g -> sTilaus a b ** {g = g ; lock_N = <>} ;
|
||||||
nNauris = \a,g -> sNauris a ** {g = g ; lock_N = <>} ;
|
nKulaus = \a -> nTilaus a (init a + "ksen" + getHarmony (last
|
||||||
|
(init a))) nonhuman ;
|
||||||
|
nNauris = \a -> sNauris a ** {g = nonhuman ; lock_N = <>} ;
|
||||||
|
|
||||||
|
|
||||||
nComp = \s,n -> {s = \\c => s ++ n.s ! c ; g = n.g ; lock_N = <>} ;
|
nComp = \s,n -> {s = \\c => s ++ n.s ! c ; g = n.g ; lock_N = <>} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user