aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug310.html
diff options
context:
space:
mode:
authorHaskellMouse <rinat.stryungis@serokell.io>2020-06-28 10:09:59 +0300
committerHaskellMouse <rinat.stryungis@serokell.io>2020-10-13 12:58:04 +0300
commitf7d9e0bb987ca31c3b15cbe63198dafbeee3a395 (patch)
treed1a6c5347a761a283d796e0f6b3bd8a3129552b2 /html-test/ref/Bug310.html
parent6f16399e0320d0ef5e6c3dd0329ce7ed3715b6b2 (diff)
Changed tests due to unification of `Nat` and `Natural`
in the follwing merge request: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3583
Diffstat (limited to 'html-test/ref/Bug310.html')
-rw-r--r--html-test/ref/Bug310.html24
1 files changed, 12 insertions, 12 deletions
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"