diff options
Diffstat (limited to 'html-test/ref/Bug310.html')
| -rw-r--r-- | html-test/ref/Bug310.html | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 50ba8cfd..e8ce24f8 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -46,13 +46,13 @@ ><li class="src short" ><span class="keyword" >type family</span - > (a :: <a href="#" + > (a :: <a href="#" title="GHC.TypeNats" >Nat</a >) <a href="#" >+</a - > (b :: <a href="#" + > (b :: <a href="#" title="GHC.TypeNats" >Nat</a - >) :: <a href="#" + >) :: <a href="#" title="GHC.TypeNats" >Nat</a > <span class="keyword" >where ...</span @@ -67,13 +67,13 @@ ><p class="src" ><span class="keyword" >type family</span - > (a :: <a href="#" + > (a :: <a href="#" title="GHC.TypeNats" >Nat</a >) <a id="t:-43-" class="def" >+</a - > (b :: <a href="#" + > (b :: <a href="#" title="GHC.TypeNats" >Nat</a - >) :: <a href="#" + >) :: <a href="#" title="GHC.TypeNats" >Nat</a > <span class="keyword" >where ...</span @@ -87,6 +87,10 @@ ><div class="doc" ><p >Addition of type-level naturals.</p + ><p + ><em + >Since: 4.7.0.0</em + ></p ></div ></div ></div |