From cf73b006faf95512b28c744ecfbdf47c044acb67 Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo"
Date: Fri, 31 Jan 2014 00:15:01 +0800
Subject: <+>: Don't insert a space when concatenating empty nodes
---
html-test/ref/Bug6.html | 40 ++++++++++++++++++++--------------------
1 file changed, 20 insertions(+), 20 deletions(-)
(limited to 'html-test/ref/Bug6.html')
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 2fde3f10..5e7d5084 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -56,9 +56,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
>data A = = A Intdata B = = B {
This record is exported without its field
data B
.. with its field, but the field is named separately in the export list
@@ -207,9 +207,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
>
data C
.. with fields names as subordinate names in the export
data D
.. with only some of the fields exported (we can't handle this one -
@@ -292,9 +292,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
>
newtype E