From 4bfd3f91cfaf8d3fdd51bbec293b2bf96c040bb7 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

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

diff --git a/lib/resource/api/Constructors.gf b/lib/resource/api/Constructors.gf
index f8dd06f79..0a540fe7d 100644
--- 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