From 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 Mon Sep 17 00:00:00 2001
From: Phil Ruffwind <rf@rufflewind.com>
Date: Wed, 30 Sep 2015 03:22:14 -0400
Subject: Update tests for previous commit

---
 html-test/ref/TypeOperators.html | 64 ++++++++++++++++++++++++++--------------
 1 file changed, 42 insertions(+), 22 deletions(-)

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

diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index a6521437..f6da47b1 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -49,40 +49,48 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > a <a href="#" id="t::-45-:" class="def"
+	    > a <a id="t::-45-:" class="def"
 	    >:-:</a
-	    > b</p
+	    > b <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > (a <a href="#" id="t::-43-:" class="def"
+	    > (a <a id="t::-43-:" class="def"
 	    >:+:</a
-	    > b) c</p
+	    > b) c <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > <a href="#" id="t:Op" class="def"
+	    > <a id="t:Op" class="def"
 	    >Op</a
-	    > a b</p
+	    > a b <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
 	    >newtype</span
-	    > <a href="#" id="t:O" class="def"
+	    > <a id="t:O" class="def"
 	    >O</a
-	    > g f a</p
+	    > g f a <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="subs constructors"
 	  ><p class="caption"
 	    >Constructors</p
 	    ><table
 	    ><tr
 	      ><td class="src"
-		><a href="#" id="v:O" class="def"
+		><a id="v:O" class="def"
 		  >O</a
 		  ></td
 		><td class="doc empty"
@@ -96,7 +104,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
 		    ><ul
 		    ><li
 		      ><dfn class="src"
-			><a href="#" id="v:unO" class="def"
+			><a id="v:unO" class="def"
 			  >unO</a
 			  > :: g (f a)</dfn
 			><div class="doc empty"
@@ -113,33 +121,41 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
 	><p class="src"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a href="#" id="t:-60--61--62-" class="def"
+	    > a <a id="t:-60--61--62-" class="def"
 	    >&lt;=&gt;</a
-	    > b</p
+	    > b <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:biO" class="def"
+	  ><a id="v:biO" class="def"
 	    >biO</a
 	    > :: (g <a href="#"
 	    >`O`</a
-	    > f) a</p
+	    > f) a <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:f" class="def"
+	  ><a id="v:f" class="def"
 	    >f</a
-	    > :: a ~ b =&gt; a -&gt; b</p
+	    > :: a ~ b =&gt; a -&gt; b <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:g" class="def"
+	  ><a id="v:g" class="def"
 	    >g</a
-	    > :: (a ~ b, b ~ c) =&gt; a -&gt; c</p
+	    > :: (a ~ b, b ~ c) =&gt; a -&gt; c <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:x" class="def"
+	  ><a id="v:x" class="def"
 	    >x</a
 	    > :: (a <a href="#"
 	    >:-:</a
@@ -147,11 +163,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
 	    >&lt;=&gt;</a
 	    > (a <a href="#"
 	    >`Op`</a
-	    > a) =&gt; a</p
+	    > a) =&gt; a <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:y" class="def"
+	  ><a id="v:y" class="def"
 	    >y</a
 	    > :: (a <a href="#"
 	    >&lt;=&gt;</a
@@ -159,7 +177,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
 	    >`Op`</a
 	    > a) <a href="#"
 	    >&lt;=&gt;</a
-	    > a) =&gt; a</p
+	    > a) =&gt; a <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ></div
 	></div
       ></div
-- 
cgit v1.2.3