aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/GADTRecords.html
diff options
context:
space:
mode:
authorSimon Jakobi <simon.jakobi@gmail.com>2018-06-13 23:49:52 +0200
committerSimon Jakobi <simon.jakobi@gmail.com>2018-06-13 23:49:52 +0200
commitce568c3afb00610d659d3c2bab022983d252f1cd (patch)
treeba08952a584eb4d56a61b4275a344570e67c48cf /html-test/ref/GADTRecords.html
parent39a35291045de99b2dabb9cddf5bb16d294c2f3b (diff)
html-test: Accept output
Diffstat (limited to 'html-test/ref/GADTRecords.html')
-rw-r--r--html-test/ref/GADTRecords.html54
1 files changed, 24 insertions, 30 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 7fb5c4d6..1f0c87e8 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -60,9 +60,7 @@
><li
><a href="#"
>C2</a
- > :: <a href="#" title="Data.Ord"
- >Ord</a
- > a =&gt; [a] -&gt; <a href="#" title="GADTRecords"
+ > :: Ord a =&gt; [a] -&gt; <a href="#" title="GADTRecords"
>H1</a
> a a</li
><li
@@ -70,19 +68,13 @@
>C3</a
> :: {..} -&gt; <a href="#" title="GADTRecords"
>H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
- ></li
+ > Int Int</li
><li
><a href="#"
>C4</a
> :: {..} -&gt; <a href="#" title="GADTRecords"
>H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > a</li
+ > Int a</li
></ul
></li
></ul
@@ -124,9 +116,7 @@
><td class="src"
><a id="v:C2" class="def"
>C2</a
- > :: <a href="#" title="Data.Ord"
- >Ord</a
- > a =&gt; [a] -&gt; <a href="#" title="GADTRecords"
+ > :: Ord a =&gt; [a] -&gt; <a href="#" title="GADTRecords"
>H1</a
> a a</td
><td class="doc empty"
@@ -136,12 +126,6 @@
><td class="src"
><a id="v:C3" class="def"
>C3</a
- > :: {..} -&gt; <a href="#" title="GADTRecords"
- >H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
></td
><td class="doc empty"
></td
@@ -154,16 +138,22 @@
><ul
><li
><dfn class="src"
- ><a id="v:field" class="def"
+ >:: { <a id="v:field" class="def"
>field</a
- > :: <a href="#" title="Data.Int"
- >Int</a
- ></dfn
+ > :: Int</dfn
><div class="doc"
><p
>hello docs</p
></div
></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GADTRecords"
+ >H1</a
+ > Int Int</dfn
+ ><div class="doc empty"
+ ></div
+ ></li
></ul
></div
></td
@@ -172,11 +162,7 @@
><td class="src"
><a id="v:C4" class="def"
>C4</a
- > :: {..} -&gt; <a href="#" title="GADTRecords"
- >H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > a</td
+ ></td
><td class="doc empty"
></td
></tr
@@ -188,7 +174,7 @@
><ul
><li
><dfn class="src"
- ><a id="v:field2" class="def"
+ >:: { <a id="v:field2" class="def"
>field2</a
> :: a</dfn
><div class="doc"
@@ -196,6 +182,14 @@
>hello2 docs</p
></div
></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GADTRecords"
+ >H1</a
+ > Int a</dfn
+ ><div class="doc empty"
+ ></div
+ ></li
></ul
></div
></td