another way to fix the tests for Czech

This commit is contained in:
Krasimir Angelov
2026-10-03 10:39:21 +02:00
parent 2be1ed9598
commit dfbb267505
3 changed files with 17 additions and 11 deletions
+13 -7
View File
@@ -1,12 +1,18 @@
--# -path=.:../czech:../common:../abstract:../prelude
resource TryCze = ExtraCze, SyntaxCze, LexiconCze, ParadigmsCze -[mkAdv,mkAdN,mkIAdv,mkDet,mkIDet,mkIP,mkQuant,mkCard,mkPConj,mkVoc]**
open (P = ParadigmsCze) in {
resource TryCze = ExtraCze, SyntaxCze-[mkVoc], LexiconCze, ParadigmsCze -[mkAdv,mkAdN,mkIAdv,mkDet,mkIDet,mkIP,mkQuant,mkCard,mkPConj,mkVoc]**
open (P = ParadigmsCze),(S = SyntaxCze) in {
-- oper
-- mkAdv = overload SyntaxCze {
-- mkAdv : Str -> Adv = P.mkAdv ;
-- } ;
oper
mkAdv = overload SyntaxCze {
mkAdv : Str -> Adv = P.mkAdv ;
} ;
mkVoc = overload {
mkVoc : NP -> Voc = S.mkVoc ;
mkVoc : Str -> Voc = P.mkVoc ;
} ;
mkIP = overload SyntaxCze {
mkIP : Str -> IP = P.mkIP ;
} ;
}
+1 -1
View File
@@ -285,7 +285,7 @@ oper
c = {s = [] ; c = Acc ; hasPrep = False}}) ;
mkV2V : Str -> V2V = \s -> lin V2V ((mkVerb s) ** {
c = {s = [] ; c = Acc ; hasPrep = False}}) ;
mkVoc : Str -> {s : Str} = \s -> {s = s} ;
mkVoc : Str -> CatCze.Voc = \s -> lin Voc {s = s} ;
}