From bf80e2f594777c0c32fae092454bff0c13ae6181 Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Thu, 20 Nov 2014 22:35:38 +0800
Subject: Update Haddock to new pattern synonym type signature syntax

---
 html-test/ref/PatternSyns.html | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

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

diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index f1bd7f62..f5842d79 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -62,23 +62,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	    >FooCtor</a
 	    > x</li
 	  ><li class="src short"
-	  >pattern  <a href=""
+	  >pattern <a href=""
 	    >Foo</a
-	    > t ::  <a href=""
+	    > ::   t -&gt; <a href=""
 	    >FooType</a
 	    > t</li
 	  ><li class="src short"
-	  >pattern  <a href=""
+	  >pattern <a href=""
 	    >Bar</a
-	    > t ::  <a href=""
+	    > ::   t -&gt; <a href=""
 	    >FooType</a
 	    > (<a href=""
 	    >FooType</a
 	    > t)</li
 	  ><li class="src short"
-	  >pattern  t <a href=""
-	    >:&lt;-&gt;</a
-	    > t ::  (<a href=""
+	  >pattern <a href=""
+	    >(:&lt;-&gt;)</a
+	    > ::   t -&gt; t -&gt; (<a href=""
 	    >FooType</a
 	    > t, <a href=""
 	    >FooType</a
@@ -94,9 +94,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	    >Empty</a
 	    ></li
 	  ><li class="src short"
-	  >pattern  <a href=""
+	  >pattern <a href=""
 	    >E</a
-	    > ::  <a href=""
+	    > ::   <a href=""
 	    >(&gt;&lt;)</a
 	    > k t t</li
 	  ></ul
@@ -132,9 +132,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  <a name="v:Foo" class="def"
+	  >pattern <a name="v:Foo" class="def"
 	    >Foo</a
-	    > t ::  <a href=""
+	    > ::   t -&gt; <a href=""
 	    >FooType</a
 	    > t</p
 	  ><div class="doc"
@@ -148,9 +148,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  <a name="v:Bar" class="def"
+	  >pattern <a name="v:Bar" class="def"
 	    >Bar</a
-	    > t ::  <a href=""
+	    > ::   t -&gt; <a href=""
 	    >FooType</a
 	    > (<a href=""
 	    >FooType</a
@@ -166,9 +166,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  t <a name="v::-60--45--62-" class="def"
-	    >:&lt;-&gt;</a
-	    > t ::  (<a href=""
+	  >pattern <a name="v::-60--45--62-" class="def"
+	    >(:&lt;-&gt;)</a
+	    > ::   t -&gt; t -&gt; (<a href=""
 	    >FooType</a
 	    > t, <a href=""
 	    >FooType</a
@@ -214,9 +214,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  <a name="v:E" class="def"
+	  >pattern <a name="v:E" class="def"
 	    >E</a
-	    > ::  <a href=""
+	    > ::   <a href=""
 	    >(&gt;&lt;)</a
 	    > k t t</p
 	  ><div class="doc"
-- 
cgit v1.2.3