GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-25 17:23:18 -06:00
Code Issues Packages Projects Releases Wiki Activity

fixed some Codex-generated (according to logs) code to work with the current GF 3.12 type checker

Browse Source
This commit is contained in:
aarneranta committed 2026-10-22 16:13:10 +02:00
1 parent 933045a138
commit 760bdbb4d6
8 files changed
+16 -14
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

src/api/TryCze.gf
+4 -4
View File
@@ -1,6 +1,6 @@
--# -path=.:../czech:../common:../abstract:../prelude
resource TryCze = ExtraCze, SyntaxCze-[mkVoc], LexiconCze, ParadigmsCze -[mkAdv,mkAdN,mkIAdv,mkDet,mkIDet,mkIP,mkQuant,mkCard,mkPConj,mkVoc]**
resource TryCze = ExtraCze, SyntaxCze-[mkVoc], LexiconCze, ParadigmsCze -[mkAdv,mkAdN,mkIAdv,mkDet,mkIDet,mkIP,mkQuant,mkPConj,mkVoc]**
open (P = ParadigmsCze),(S = SyntaxCze) in {
oper
@@ -17,8 +17,8 @@ oper
mkIP = overload SyntaxCze {
mkIP : Str -> IP = P.mkIPron ;
} ;
mkCard = overload SyntaxCze {
mkCard : Str -> Card = P.mkCardinal ;
} ;
--- mkCard = overload SyntaxCze {
--- mkCard : Str -> Card = P.mkCardinal ;
--- } ;
}