diff --git a/src/korean/LexiconKor.gf b/src/korean/LexiconKor.gf index e73654fb5..6e593fdba 100644 --- a/src/korean/LexiconKor.gf +++ b/src/korean/LexiconKor.gf @@ -317,7 +317,7 @@ lin see_V2 = mkV2 "보다" ; -- lin shirt_N = mkN "" ; -- lin shoe_N = mkN "" ; -- lin shop_N = mkN "" ; --- lin short_A = mkA "" ; +lin short_A = mkA "키가" small_A ; -- "height is small" -- lin silver_N = mkN "" ; lin sing_V = mkV "노래" do_V ; -- lin sister_N = mkN "" ; diff --git a/src/korean/ParadigmsKor.gf b/src/korean/ParadigmsKor.gf index ed5b05236..f6ea3837d 100644 --- a/src/korean/ParadigmsKor.gf +++ b/src/korean/ParadigmsKor.gf @@ -19,7 +19,8 @@ oper --2 Adjectives mkA : overload { - mkA : (adj : Str) -> A ; + mkA : (adj : Str) -> A ; -- Regular adjective, given in -다 form + mkA : (kiga : Str) -> (jakda : A) -> A ; -- Compound adjective, e.g. 키가 작다 'short', literally 'height (is) small'. 키가 'height' given as string, 작다 'small' given as preconstructed A. } ; -- mkA2 : Str -> Prep -> A2 ; @@ -99,7 +100,9 @@ oper -- } ; mkA = overload { - mkA : (adj : Str) -> A = \s -> lin A (mkAdj s) ; + mkA : (adj : Str) -> A = \s -> lin A (mkAdj s) ; + mkA : (kiga : Str) -> (jakda : A) -> A = \kiga,jakda -> + jakda ** {s = \\af => kiga ++ jakda.s ! af} ; } ; mkV = overload {