adjustments in Phrasebook

This commit is contained in:
aarne
2010-05-27 20:44:39 +00:00
parent 27ff25e82d
commit 327ffc420e
7 changed files with 34 additions and 23 deletions

View File

@@ -385,7 +385,8 @@ mkV2 : overload {
regA : Str -> A = \a -> case a of {
teu + "er" => mk3A a (teu + "rer") (teu + "reste") ;
_ + "e" => mk3A a (a + "r") (a + "ste") ;
_ => mk3A a (a + "er") (a + "este")
_ + ("t" | "d" | "s" | "sch" | "z") => mk3A a (a + "er") (a + "este") ;
_ => mk3A a (a + "er") (a + "ste")
} ;
invarA = \s -> {s = \\_,_ => s ; lock_A = <>} ; ---- comparison