Merge branch 'anchors-redux'

1 files changed, 50 insertions, 22 deletions

diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index e22147d6..6c795d85 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -165,9 +165,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu
 	>Documentation</h1
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:-43--45-" class="def"
+	  ><a id="v:-43--45-" class="def"
 	    >(+-)</a
-	    > :: a -&gt; a -&gt; a</p
+	    > :: a -&gt; a -&gt; a <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Operator with no fixity</p
@@ -175,12 +177,14 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:-42--47-" class="def"
+	  ><a id="v:-42--47-" class="def"
 	    >(*/)</a
 	    > :: a -&gt; a -&gt; a <span class="fixity"
 	    >infixr 7</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -189,12 +193,14 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	  ></div
 	><div class="top"
 	><p class="src"
-	  ><a href="#" id="v:foo" class="def"
+	  ><a id="v:foo" class="def"
 	    >foo</a
 	    > :: a -&gt; a -&gt; a <span class="fixity"
 	    >infixl 3</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -205,8 +211,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > <a href="#" id="t:Foo" class="def"
+	    > <a id="t:Foo" class="def"
 	    >Foo</a
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -220,7 +228,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	      ><td class="src"
 		><a href="#"
 		  >Foo</a
-		  > <a href="#" id="v:Bar" class="def"
+		  > <a id="v:Bar" class="def"
 		  >`Bar`</a
 		  > <a href="#"
 		  >Foo</a
@@ -238,7 +246,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	      ><td class="src"
 		><a href="#"
 		  >Foo</a
-		  > <a href="#" id="v::-45-" class="def"
+		  > <a id="v::-45-" class="def"
 		  >:-</a
 		  > <a href="#"
 		  >Foo</a
@@ -259,7 +267,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >pattern</span
-	    > <a href="#" id="v::-43-" class="def"
+	    > <a id="v::-43-" class="def"
 	    >(:+)</a
 	    > :: <span class="keyword"
 	    >forall</span
@@ -267,6 +275,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    >infixr 3</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -277,7 +287,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > a <a href="#" id="t:-60--45--62-" class="def"
+	    > a <a id="t:-60--45--62-" class="def"
 	    >&lt;-&gt;</a
 	    > b <span class="keyword"
 	    >where</span
@@ -285,6 +295,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    >infixl 6</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -296,7 +308,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    ><table
 	    ><tr
 	      ><td class="src"
-		><a href="#" id="v::-60--45--62-" class="def"
+		><a id="v::-60--45--62-" class="def"
 		  >(:&lt;-&gt;)</a
 		  > :: a -&gt; b -&gt; a <a href="#"
 		  >&lt;-&gt;</a
@@ -315,12 +327,14 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >type family</span
-	    > a <a href="#" id="t:-43--43-" class="def"
+	    > a <a id="t:-43--43-" class="def"
 	    >++</a
 	    > b <span class="fixity"
 	    >infix 3</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -331,12 +345,14 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >data family</span
-	    > a <a href="#" id="t:-42--42-" class="def"
+	    > a <a id="t:-42--42-" class="def"
 	    >**</a
 	    > b <span class="fixity"
 	    >infix 9</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -347,7 +363,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a href="#" id="t:-62--60--62-" class="def"
+	    > a <a id="t:-62--60--62-" class="def"
 	    >&gt;&lt;&gt;</a
 	    > b | a -&gt; b <span class="keyword"
 	    >where</span
@@ -355,6 +371,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    >infixr 1</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p
@@ -384,7 +402,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    ><p class="src"
 	    ><span class="keyword"
 	      >type</span
-	      > a <a href="#" id="t:-60--62--60-" class="def"
+	      > a <a id="t:-60--62--60-" class="def"
 	      >&lt;&gt;&lt;</a
 	      > b :: <a href="#"
 	      >*</a
@@ -392,25 +410,29 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	      >infixl 2</span
 	      ><span class="rightedge"
 	      ></span
+	      > <a href="#" class="selflink"
+	      >#</a
 	      ></p
 	    ><p class="src"
 	    ><span class="keyword"
 	      >data</span
-	      > a <a href="#" id="t:-62--60--60-" class="def"
+	      > a <a id="t:-62--60--60-" class="def"
 	      >&gt;&lt;&lt;</a
 	      > b <span class="fixity"
 	      >infixl 3</span
 	      ><span class="rightedge"
 	      ></span
+	      > <a href="#" class="selflink"
+	      >#</a
 	      ></p
 	    ></div
 	  ><div class="subs methods"
 	  ><p class="caption"
 	    >Methods</p
 	    ><p class="src"
-	    ><a href="#" id="v:-62--62--60-" class="def"
+	    ><a id="v:-62--62--60-" class="def"
 	      >(&gt;&gt;&lt;)</a
-	      >, <a href="#" id="v:-60--60--62-" class="def"
+	      >, <a id="v:-60--60--62-" class="def"
 	      >(&lt;&lt;&gt;)</a
 	      > :: a -&gt; b -&gt; () <span class="fixity"
 	      >infixl 5 &lt;&lt;&gt;</span
@@ -418,15 +440,17 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	      >infixr 4 &gt;&gt;&lt;</span
 	      ><span class="rightedge"
 	      ></span
+	      > <a href="#" class="selflink"
+	      >#</a
 	      ></p
 	    ><p class="src"
-	    ><a href="#" id="v:-42--42--62-" class="def"
+	    ><a id="v:-42--42--62-" class="def"
 	      >(**&gt;)</a
-	      >, <a href="#" id="v:-42--42--60-" class="def"
+	      >, <a id="v:-42--42--60-" class="def"
 	      >(**&lt;)</a
-	      >, <a href="#" id="v:-62--42--42-" class="def"
+	      >, <a id="v:-62--42--42-" class="def"
 	      >(&gt;**)</a
-	      >, <a href="#" id="v:-60--42--42-" class="def"
+	      >, <a id="v:-60--42--42-" class="def"
 	      >(&lt;**)</a
 	      > :: a -&gt; a -&gt; () <span class="fixity"
 	      >infixr 8 **&gt;, &gt;**</span
@@ -434,6 +458,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	      >infixl 8 **&lt;, &lt;**</span
 	      ><span class="rightedge"
 	      ></span
+	      > <a href="#" class="selflink"
+	      >#</a
 	      ></p
 	    ><div class="doc"
 	    ><p
@@ -445,7 +471,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	><p class="src"
 	  ><span class="keyword"
 	    >type</span
-	    > <a href="#" id="t:-62--45--60-" class="def"
+	    > <a id="t:-62--45--60-" class="def"
 	    >(&gt;-&lt;)</a
 	    > a b = a <a href="#"
 	    >&lt;-&gt;</a
@@ -453,6 +479,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
 	    >infixl 6</span
 	    ><span class="rightedge"
 	    ></span
+	    > <a href="#" class="selflink"
+	    >#</a
 	    ></p
 	  ><div class="doc"
 	  ><p