aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug310.html
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-08-05 19:07:23 -0400
committerBen Gamari <ben@smart-cactus.org>2022-08-05 19:08:36 -0400
commit06b72bd9becf87e5396bb640289b63679a39ab3c (patch)
tree07c305c2c1d21cffc3b004c598743f9b7cb9e1d5 /html-test/ref/Bug310.html
parentade67fe17e600738c815d7bcd6557a791e7aa1e1 (diff)
Clean up build and testsuite for GHC 9.4
Diffstat (limited to 'html-test/ref/Bug310.html')
-rw-r--r--html-test/ref/Bug310.html34
1 files changed, 0 insertions, 34 deletions
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 57c82077..a844d855 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -48,28 +48,6 @@
><p class="caption"
>Bug310</p
></div
- ><div id="synopsis"
- ><details id="syn"
- ><summary
- >Synopsis</summary
- ><ul class="details-toggle" data-details-id="syn"
- ><li class="src short"
- ><span class="keyword"
- >type family</span
- > (a :: <a href="#" title="Numeric.Natural"
- >Natural</a
- >) <a href="#"
- >+</a
- > (b :: <a href="#" title="Numeric.Natural"
- >Natural</a
- >) :: <a href="#" title="Numeric.Natural"
- >Natural</a
- > <span class="keyword"
- >where ...</span
- ></li
- ></ul
- ></details
- ></div
><div id="interface"
><h1
>Documentation</h1
@@ -87,21 +65,9 @@
>Natural</a
> <span class="keyword"
>where ...</span
- > <span class="fixity"
- >infixl 6</span
- ><span class="rightedge"
- ></span
> <a href="#" class="selflink"
>#</a
></p
- ><div class="doc"
- ><p
- >Addition of type-level naturals.</p
- ><p
- ><em
- >Since: base-4.7.0.0</em
- ></p
- ></div
></div
></div
></div