mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-27 09:53:17 -06:00
add an explict lin Int do disambiguate the overloading
This commit is contained in:
1 parent
0f4dd88f9e
commit
0012630784
1 file changed
+1
-1
@@ -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 ++ "日"}) ;
|
||||
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user