aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
Diffstat (limited to 'html-test')
-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"