msyds/comp-syntax-gu-mlt
1
0
Fork 0
forked from GitHub/comp-syntax-gu-mlt
Code Pull Requests Activity

adjectives

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2026-02-12 16:12:00 -07:00
parent 8999d3e38c
commit 533d2e7e9f
3 changed files with 29 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
lab1/grammar/korean/MicroResKor.gf
View File

@@ -1,6 +1,6 @@
resource MicroResKor = open Prelude, HangulJamo in {
param
VForm = Lemma | VPresent | VPast ;
VForm = VLemma | VPresent | VPast | VAdnomial ;
oper
Noun : Type = {s : Str} ;
@@ -14,14 +14,21 @@ resource MicroResKor = open Prelude, HangulJamo in {
_ => Predef.error ("lemmaToStem was applied to a non-lemma," ++ lemma)
} ;
regVerb : (lemma : Str) -> Verb
= \lemma ->
reg : (descriptive : Bool) -> (lemma : Str) -> Verb
= \descriptive,lemma ->
let stem = lemmaToStem lemma ;
in {
s = table {
Lemma => lemma ;
VLemma => lemma ;
VPresent => present_haeyo stem ;
VPast => past_haeyo stem
VPast => past_haeyo stem ;
VAdnomial =>
if_then_else Str descriptive
(stem + vc_allomorph stem "ᆫ" "은")
(stem + "는")
}
} ;
regVerb : (lemma : Str) -> Verb = reg False ;
regAdjective : (lemma : Str) -> Adjective = reg True ;
}