diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-03-31 20:02:36 +0200 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-03-31 20:09:58 +0200 |
| commit | a6e36fc8cde675c2b7b2bc8f519221c93f20f207 (patch) | |
| tree | dda96a33a1be220e83fb810c88b96e1f13aa297e /html-test/ref | |
| parent | d6cf6f9c75e08ce1760c2dbdee81775ba97a5f0c (diff) | |
Crash when exporting record selectors of data family instances
This fixes bug #294.
This also fixes a related but never-before-mentioned bug about the
display of GADT record selectors with non-polymorphic type signatures.
Note: Associated data type constructors fail to show up if nothing is
exported that they could be attached to. Exporting any of the data types
in the instance head, or the class + data family itself, causes them to
show up, but in the absence of either of these, exporting just the
associated data type with the constructor itself will result in it
being hidden.
The only scenario I can come up that would involve this kind of
situation involved OverlappingInstances, and even then it can be
mitigated by just exporting the class itself, so I'm not going to solve
it since the logic would most likely be very complicated.
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/Bug294.html | 165 |
1 files changed, 165 insertions, 0 deletions
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html new file mode 100644 index 00000000..ceae2932 --- /dev/null +++ b/html-test/ref/Bug294.html @@ -0,0 +1,165 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Bug294</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html");}; +//]]> +</script + ></head + ><body + ><div id="package-header" + ><ul class="links" id="page-menu" + ><li + ><a href="" + >Contents</a + ></li + ><li + ><a href="" + >Index</a + ></li + ></ul + ><p class="caption empty" + > </p + ></div + ><div id="content" + ><div id="module-header" + ><table class="info" + ><tr + ><th + >Safe Haskell</th + ><td + >Safe-Inferred</td + ></tr + ></table + ><p class="caption" + >Bug294</p + ></div + ><div id="interface" + ><h1 + >Documentation</h1 + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a name="t:A" class="def" + >A</a + ></p + ><div class="subs instances" + ><p id="control.i:A" class="caption collapser" onclick="toggleSection('i:A')" + >Instances</p + ><div id="section.i:A" class="show" + ><table + ><tr + ><td class="src" + ><span class="keyword" + >data</span + > <a href="" + >DP</a + > <a href="" + >A</a + > = <a name="v:ProblemCtor-39-" class="def" + >ProblemCtor'</a + > <a href="" + >A</a + ></td + ><td class="doc empty" + > </td + ></tr + ><tr + ><td class="src" + ><span class="keyword" + >data</span + > TP <a href="" + >A</a + > = <a name="v:ProblemCtor" class="def" + >ProblemCtor</a + > <a href="" + >A</a + ></td + ><td class="doc empty" + > </td + ></tr + ></table + ></div + ></div + ></div + ><div class="top" + ><p class="src" + ><a name="v:problemField" class="def" + >problemField</a + > :: TO <a href="" + >A</a + > -> <a href="" + >A</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a name="v:problemField-39-" class="def" + >problemField'</a + > :: DO <a href="" + >A</a + > -> <a href="" + >A</a + ></p + ></div + ><div class="top" + ><p class="src" + ><a name="v:gadtField" class="def" + >gadtField</a + > :: GADT <a href="" + >A</a + > -> <a href="" + >A</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span + > <a name="t:DP" class="def" + >DP</a + > t :: *</p + ><div class="subs instances" + ><p id="control.i:DP" class="caption collapser" onclick="toggleSection('i:DP')" + >Instances</p + ><div id="section.i:DP" class="show" + ><table + ><tr + ><td class="src" + ><span class="keyword" + >data</span + > <a href="" + >DP</a + > <a href="" + >A</a + > = <a name="v:ProblemCtor-39-" class="def" + >ProblemCtor'</a + > <a href="" + >A</a + ></td + ><td class="doc empty" + > </td + ></tr + ></table + ></div + ></div + ></div + ></div + ></div + ><div id="footer" + ><p + >Produced by <a href="" + >Haddock</a + > version 2.15.0</p + ></div + ></body + ></html +> |