From ce568c3afb00610d659d3c2bab022983d252f1cd Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Wed, 13 Jun 2018 23:49:52 +0200
Subject: html-test: Accept output

---
 html-test/ref/Bug310.html | 46 +++-------------------------------------------
 1 file changed, 3 insertions(+), 43 deletions(-)

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

diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 47da5387..e664eccd 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -38,28 +38,6 @@
 	><p class="caption"
 	>Bug310</p
 	></div
-      ><div id="synopsis"
-      ><details id="syn"
-	><summary
-	  >Synopsis</summary
-	  ><ul class="details-toggle" data-details-id="syn"
-	  ><li class="src short"
-	    ><span class="keyword"
-	      >type family</span
-	      > (a :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
-	      >) <a href="#"
-	      >+</a
-	      > (b :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
-	      >) :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
-	      > <span class="keyword"
-	      >where ...</span
-	      ></li
-	    ></ul
-	  ></details
-	></div
       ><div id="interface"
       ><h1
 	>Documentation</h1
@@ -67,31 +45,13 @@
 	><p class="src"
 	  ><span class="keyword"
 	    >type family</span
-	    > (a :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
-	    >) <a id="t:-43-" class="def"
+	    > (a :: Nat) <a id="t:-43-" class="def"
 	    >+</a
-	    > (b :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
-	    >) :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
-	    > <span class="keyword"
+	    > (b :: Nat) :: Nat <span class="keyword"
 	    >where ...</span
-	    > <span class="fixity"
-	    >infixl 6</span
-	    ><span class="rightedge"
-	    ></span
 	    > <a href="#" class="selflink"
 	    >#</a
 	    ></p
-	  ><div class="doc"
-	  ><p
-	    >Addition of type-level naturals.</p
-	    ><p
-	    ><em
-	      >Since: base-4.7.0.0</em
-	      ></p
-	    ></div
 	  ></div
 	></div
       ></div
@@ -99,4 +59,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
-- 
cgit v1.2.3