GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-28 01:18:57 -06:00
Code Issues Packages Projects Releases Wiki Activity

added mkCard to resource 1.4

Browse Source
This commit is contained in:
aarne
2008-10-03 13:18:46 +00:00
parent 54d5b2cd71
commit d48208dabd
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
resource/api/Constructors.gf
View File

@@ -1618,6 +1618,13 @@ incomplete resource Constructors = open Grammar in {
mkListNP : NP -> ListNP -> ListNP = ConsNP mkListNP : NP -> ListNP -> ListNP = ConsNP
} ; } ;
mkCard = overload {
mkCard : Numeral -> Card
= NumNumeral ;
mkNum : Digits -> Card -- 51
= NumDigits ;
} ;
------------ for backward compatibility ------------ for backward compatibility