aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-01-23 11:46:46 -0800
committerGitHub <noreply@github.com>2019-01-23 11:46:46 -0800
commit53997f3db71d113bdad59548e3f16adfe90c112b (patch)
treedc3c45149c449a1cec2ec8d5546f4862ded53f0e /html-test
parenta6504507cb7f575dad63aa9f992cfc8d4f70c582 (diff)
Keep forall on H98 existential data constructors (#1003)
The information about whether or not there is a source-level `forall` is already available on a `ConDecl` (as `con_forall`), so we should use it instead of always assuming `False`! Fixes #1002.
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/PatternSyns.html8
-rw-r--r--html-test/ref/Test.html24
2 files changed, 24 insertions, 8 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index bae4b0bd..7e10b755 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -104,7 +104,9 @@
>data</span
> <a href="#"
>BlubType</a
- > = <a href="#" title="Text.Show"
+ > = <span class="keyword"
+ >forall</span
+ > x.<a href="#" title="Text.Show"
>Show</a
> x =&gt; <a href="#"
>BlubCtor</a
@@ -274,7 +276,9 @@
><table
><tr
><td class="src"
- ><a href="#" title="Text.Show"
+ ><span class="keyword"
+ >forall</span
+ > x.<a href="#" title="Text.Show"
>Show</a
> x =&gt; <a id="v:BlubCtor" class="def"
>BlubCtor</a
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index b8d7f251..183a466c 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -579,17 +579,23 @@
>Ex</a
> a<ul class="subs"
><li
- >= <a href="#" title="Test"
+ >= <span class="keyword"
+ >forall</span
+ > b.<a href="#" title="Test"
>C</a
> b =&gt; <a href="#"
>Ex1</a
> b</li
><li
- >| <a href="#"
+ >| <span class="keyword"
+ >forall</span
+ > b. <a href="#"
>Ex2</a
> b</li
><li
- >| <a href="#" title="Test"
+ >| <span class="keyword"
+ >forall</span
+ > b.<a href="#" title="Test"
>C</a
> a =&gt; <a href="#"
>Ex3</a
@@ -2069,7 +2075,9 @@ is at the beginning of the line).</pre
><table
><tr
><td class="src"
- ><a href="#" title="Test"
+ ><span class="keyword"
+ >forall</span
+ > b.<a href="#" title="Test"
>C</a
> b =&gt; <a id="v:Ex1" class="def"
>Ex1</a
@@ -2079,7 +2087,9 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- ><a id="v:Ex2" class="def"
+ ><span class="keyword"
+ >forall</span
+ > b. <a id="v:Ex2" class="def"
>Ex2</a
> b</td
><td class="doc empty"
@@ -2087,7 +2097,9 @@ is at the beginning of the line).</pre
></tr
><tr
><td class="src"
- ><a href="#" title="Test"
+ ><span class="keyword"
+ >forall</span
+ > b.<a href="#" title="Test"
>C</a
> a =&gt; <a id="v:Ex3" class="def"
>Ex3</a