diff options
author | alexbiehl-gc <72160047+alexbiehl-gc@users.noreply.github.com> | 2021-02-07 18:39:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-07 18:39:59 +0100 |
commit | 786d3e69799398c3aac26fbd5017a127bc69cacc (patch) | |
tree | 883ee3f8c0e195299925b790cba6f88a537200f6 /html-test/ref/Bug310.html | |
parent | e90e79815960823a749287968fb1c6d09559a67f (diff) | |
parent | 0f7ff041fb824653a7930e1292b81f34df1e967d (diff) |
Merge branch 'ghc-head' into ghc-9.0
Diffstat (limited to 'html-test/ref/Bug310.html')
-rw-r--r-- | html-test/ref/Bug310.html | 24 |
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" |