aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_DeprecatedRecord.html
diff options
context:
space:
mode:
authorNiklas Haas <git@nand.wakku.to>2014-03-31 20:02:36 +0200
committerNiklas Haas <git@nand.wakku.to>2014-03-31 20:09:58 +0200
commita6e36fc8cde675c2b7b2bc8f519221c93f20f207 (patch)
treedda96a33a1be220e83fb810c88b96e1f13aa297e /html-test/ref/mini_DeprecatedRecord.html
parentd6cf6f9c75e08ce1760c2dbdee81775ba97a5f0c (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/mini_DeprecatedRecord.html')
0 files changed, 0 insertions, 0 deletions