diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-25 10:32:22 -0800 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-11-26 11:11:28 -0800 |
| commit | a36ab92b289b4d6b707696eef49145bc7ced4957 (patch) | |
| tree | a640a73c0f04132f60ac6ba39645521341866407 /html-test/ref/Test.html | |
| parent | 8c785e2c46d3e37d14ab7888d96005ea2c69f37f (diff) | |
More uniform handling of `forall`'s in HTML/LaTeX
* don't forget to print explicit `forall`'s when there are arg docs
* when printing an explicit `forall`, print all tyvars
Fixes #973
Diffstat (limited to 'html-test/ref/Test.html')
| -rw-r--r-- | html-test/ref/Test.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 481f5d62..b8d7f251 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -581,7 +581,7 @@ ><li >= <a href="#" title="Test" >C</a - > b => <a href="#" + > b => <a href="#" >Ex1</a > b</li ><li @@ -591,7 +591,7 @@ ><li >| <a href="#" title="Test" >C</a - > a => <a href="#" + > a => <a href="#" >Ex3</a > b</li ><li @@ -2071,7 +2071,7 @@ is at the beginning of the line).</pre ><td class="src" ><a href="#" title="Test" >C</a - > b => <a id="v:Ex1" class="def" + > b => <a id="v:Ex1" class="def" >Ex1</a > b</td ><td class="doc empty" @@ -2089,7 +2089,7 @@ is at the beginning of the line).</pre ><td class="src" ><a href="#" title="Test" >C</a - > a => <a id="v:Ex3" class="def" + > a => <a id="v:Ex3" class="def" >Ex3</a > b</td ><td class="doc empty" |