From 40ff4711cbe7add19a9490162a39029739f08d77 Mon Sep 17 00:00:00 2001
From: Hamish Mackenzie <Hamish.K.Mackenzie@googlemail.com>
Date: Wed, 6 Jun 2012 06:13:59 +1200
Subject: [PATCH] Add toLazyText

---
 rts/rts-common.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/rts/rts-common.js b/rts/rts-common.js
index 0c619eaa..727700d8 100644
--- a/rts/rts-common.js
+++ b/rts/rts-common.js
@@ -1925,6 +1925,18 @@ var $hs_toText = function(s) {
     dest[i]=0;
     return $d(1, [a, 0, s.length]);
 };
+/**
+ * @param {string} s
+ * @return {!Object}
+ */
+var $hs_toLazyText = function(s) {
+    var a = $hs_newByteArrayzh((s.length << 1) + 2)[1];
+    var dest = new Uint16Array(a[0]);
+    for(var i=0;i!=s.length;i++)
+        dest[i]=s.charCodeAt(i);
+    dest[i]=0;
+    return $d(2, [a, 0, s.length, $d(1, [])]);
+};
 /**
  * @param {Array.<Object>}      args
  * @param {function(!number)}   onComplete