From 0012630784bf22d20c52cf9976604e4c83ef2a48 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Sat, 12 Sep 2026 10:20:42 +0200 Subject: [PATCH] add an explict lin Int do disambiguate the overloading --- src/japanese/ConstructionJpn.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/japanese/ConstructionJpn.gf b/src/japanese/ConstructionJpn.gf index 4bcb4514..d63096aa 100644 --- a/src/japanese/ConstructionJpn.gf +++ b/src/japanese/ConstructionJpn.gf @@ -51,7 +51,7 @@ lin intYear = symb ; -- : Int -> Monthday ; -- 31th (March) - intMonthday i = symb { s = i.s ++ "日" } ; + intMonthday i = symb (lin Int {s = i.s ++ "日"}) ;