From d48208dabd9e945b0098985b43240a2d77434b4c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 3 Oct 2008 13:18:46 +0000
Subject: [PATCH] added mkCard to resource 1.4

---
 resource/api/Constructors.gf | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/resource/api/Constructors.gf b/resource/api/Constructors.gf
index f8dd06f7..0a540fe7 100644
--- a/resource/api/Constructors.gf
+++ b/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