From f7d9e0bb987ca31c3b15cbe63198dafbeee3a395 Mon Sep 17 00:00:00 2001
From: HaskellMouse <rinat.stryungis@serokell.io>
Date: Sun, 28 Jun 2020 10:09:59 +0300
Subject: Changed tests due to unification of `Nat` and `Natural`

in the follwing merge request:
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3583
---
 html-test/ref/Bug310.html | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

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

diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index c05b475a..9b23e8b6 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -50,14 +50,14 @@
 	  ><li class="src short"
 	    ><span class="keyword"
 	      >type family</span
-	      > (a :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
+	      > (a :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
 	      >) <a href="#"
 	      >+</a
-	      > (b :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
-	      >) :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
+	      > (b :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
+	      >) :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
 	      > <span class="keyword"
 	      >where ...</span
 	      ></li
@@ -71,14 +71,14 @@
 	><p class="src"
 	  ><span class="keyword"
 	    >type family</span
-	    > (a :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
+	    > (a :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
 	    >) <a id="t:-43-" class="def"
 	    >+</a
-	    > (b :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
-	    >) :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
+	    > (b :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
+	    >) :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
 	    > <span class="keyword"
 	    >where ...</span
 	    > <span class="fixity"
-- 
cgit v1.2.3