aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug310.html
diff options
context:
space:
mode:
authoralexbiehl-gc <72160047+alexbiehl-gc@users.noreply.github.com>2021-02-07 18:39:59 +0100
committerGitHub <noreply@github.com>2021-02-07 18:39:59 +0100
commit786d3e69799398c3aac26fbd5017a127bc69cacc (patch)
tree883ee3f8c0e195299925b790cba6f88a537200f6 /html-test/ref/Bug310.html
parente90e79815960823a749287968fb1c6d09559a67f (diff)
parent0f7ff041fb824653a7930e1292b81f34df1e967d (diff)
Merge branch 'ghc-head' into ghc-9.0
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 59faf609..65ec1cae 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"