aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug310.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Bug310.html')
-rw-r--r--html-test/ref/Bug310.html20
1 files changed, 16 insertions, 4 deletions
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 894e136f..8c5b45b8 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -49,10 +49,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug310.html"
><li class="src short"
><span class="keyword"
>type family</span
- > a <a href="#"
+ > (a :: <a href="#"
+ >Nat</a
+ >) <a href="#"
>+</a
- > b :: <a href="#"
+ > (b :: <a href="#"
+ >Nat</a
+ >) :: <a href="#"
>Nat</a
+ > <span class="keyword"
+ >where ...</span
></li
></ul
></div
@@ -63,10 +69,16 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug310.html&quot;
><p class="src"
><span class="keyword"
>type family</span
- > a <a id="t:-43-" class="def"
+ > (a :: <a href="#"
+ >Nat</a
+ >) <a id="t:-43-" class="def"
>+</a
- > b :: <a href="#"
+ > (b :: <a href="#"
+ >Nat</a
+ >) :: <a href="#"
>Nat</a
+ > <span class="keyword"
+ >where ...</span
> <span class="fixity"
>infixl 6</span
><span class="rightedge"