diff options
| author | HaskellMouse <rinat.stryungis@serokell.io> | 2020-06-28 10:09:59 +0300 |
|---|---|---|
| committer | HaskellMouse <rinat.stryungis@serokell.io> | 2020-10-13 12:58:04 +0300 |
| commit | f7d9e0bb987ca31c3b15cbe63198dafbeee3a395 (patch) | |
| tree | d1a6c5347a761a283d796e0f6b3bd8a3129552b2 /html-test/ref/Bug310.html | |
| parent | 6f16399e0320d0ef5e6c3dd0329ce7ed3715b6b2 (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.html | 24 |
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" |