1
0
forked from GitHub/gf-rgl

(Kor) Add compound adjectives

This commit is contained in:
Inari Listenmaa
2020-03-25 12:52:18 +01:00
parent f9d23d52ee
commit 64a66166eb
2 changed files with 6 additions and 3 deletions

View File

@@ -317,7 +317,7 @@ lin see_V2 = mkV2 "보다" ;
-- lin shirt_N = mkN "" ; -- lin shirt_N = mkN "" ;
-- lin shoe_N = mkN "" ; -- lin shoe_N = mkN "" ;
-- lin shop_N = mkN "" ; -- lin shop_N = mkN "" ;
-- lin short_A = mkA "" ; lin short_A = mkA "키가" small_A ; -- "height is small"
-- lin silver_N = mkN "" ; -- lin silver_N = mkN "" ;
lin sing_V = mkV "노래" do_V ; lin sing_V = mkV "노래" do_V ;
-- lin sister_N = mkN "" ; -- lin sister_N = mkN "" ;

View File

@@ -19,7 +19,8 @@ oper
--2 Adjectives --2 Adjectives
mkA : overload { 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 ; -- mkA2 : Str -> Prep -> A2 ;
@@ -99,7 +100,9 @@ oper
-- } ; -- } ;
mkA = overload { 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 { mkV = overload {