From cf73b006faf95512b28c744ecfbdf47c044acb67 Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Fri, 31 Jan 2014 00:15:01 +0800
Subject: <+>: Don't insert a space when concatenating empty nodes

---
 html-test/ref/TypeOperators.html | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'html-test/ref/TypeOperators.html')

diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 0c5a5c2d..fa02b57e 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -58,25 +58,25 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
 	><li class="src short"
 	  ><span class="keyword"
 	    >data</span
-	    >  a <a href=""
+	    > a <a href=""
 	    >:-:</a
 	    > b</li
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >data</span
-	    >  (a <a href=""
+	    > (a <a href=""
 	    >:+:</a
 	    > b) c</li
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >data</span
-	    >  <a href=""
+	    > <a href=""
 	    >Op</a
 	    > a b</li
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >newtype</span
-	    >  <a href=""
+	    > <a href=""
 	    >O</a
 	    > g f a = <a href=""
 	    >O</a
@@ -102,33 +102,33 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    >  a <a name="t::-45-:" class="def"
+	    > a <a name="t::-45-:" class="def"
 	    >:-:</a
-	    > b </p
+	    > b</p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    >  (a <a name="t::-43-:" class="def"
+	    > (a <a name="t::-43-:" class="def"
 	    >:+:</a
-	    > b) c </p
+	    > b) c</p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    >  <a name="t:Op" class="def"
+	    > <a name="t:Op" class="def"
 	    >Op</a
-	    > a b </p
+	    > a b</p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >newtype</span
-	    >  <a name="t:O" class="def"
+	    > <a name="t:O" class="def"
 	    >O</a
-	    > g f a </p
+	    > g f a</p
 	  ><div class="subs constructors"
 	  ><p class="caption"
 	    >Constructors</p
-- 
cgit v1.2.3