added mkCard to resource 1.4

2008-10-03 13:18:46 +00:00
parent 338d4132c4
commit 4bfd3f91cf
1 changed files with 7 additions and 0 deletions
--- a/lib/resource/api/Constructors.gf
+++ b/lib/resource/api/Constructors.gf
@@ -1618,6 +1618,13 @@ incomplete resource Constructors = open Grammar in {
   mkListNP : NP -> ListNP -> ListNP = ConsNP
   } ;

+    mkCard = overload {
+      mkCard : Numeral -> Card 
+        = NumNumeral ;
+      mkNum : Digits -> Card         -- 51
+        = NumDigits ;
+      } ;
+

 ------------ for backward compatibility