From aa8dbcea8a616a0572f290c78f573e75128dd6a3 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 20 Apr 2007 22:55:55 +0000
Subject: [PATCH] Added mkText : Phr -> Text

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

diff --git a/lib/resource-1.0/api/Constructors.gf b/lib/resource-1.0/api/Constructors.gf
index 15d1f49c2..2d7204280 100644
--- a/lib/resource-1.0/api/Constructors.gf
+++ b/lib/resource-1.0/api/Constructors.gf
@@ -38,6 +38,7 @@ incomplete resource Constructors = open Grammar in {
 
     mkText : overload {
       mkText : Text               ;   -- [empty text]
+      mkText : Phr -> Text        ;   -- John walks.
       mkText : Phr -> Text -> Text    -- John walks. ...
       } ;
 
@@ -591,6 +592,8 @@ incomplete resource Constructors = open Grammar in {
     mkText = overload {
       mkText : Text                   -- [empty text]
                                          =    TEmpty      ;
+      mkText : Phr -> Text            -- John walks.
+                                         =    \x -> TFullStop x TEmpty  ;
       mkText : Phr -> Text -> Text    -- John walks. ...
                                          =    TFullStop
       } ;