aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug310.html
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-05-10 18:09:50 +0200
committerBen Gamari <ben@smart-cactus.org>2016-05-10 18:13:25 +0200
commit5731f3b94f560eb2e604871609c7ea139e932ad2 (patch)
tree17d6430482274a8d46db055dfae48afc1400b50d /html-test/ref/Bug310.html
parent88bacd21107ef9b8d8d83d5d281a06c8ef4f2271 (diff)
html-test: Update reference output
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(&quot;mini_Bug310.html&quot;
><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"