aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug294.html
Commit message (Collapse)AuthorAgeFilesLines
* Accept testsalexbiehl2017-08-281-6/+6
|
* Fix tests for content searchalexbiehl2017-08-281-0/+6
|
* Remove anything related to obsolete frames modealexbiehl2017-04-261-2/+2
|
* Use new MathJax URL in html-testalexbiehl2017-04-251-2/+2
| | | | | 18ed871afb82560d5433b2f53e31b4db9353a74e switched to a new MathJax URL but didn't update the tests.
* html-test: Update reference outputBen Gamari2016-05-101-15/+61
|
* Update tests for previous commitPhil Ruffwind2016-02-081-8/+24
|
* html-test: Accept test outputBen Gamari2016-02-081-40/+39
|
* Update tests to follow HTML changesMateusz Kowalczyk2015-08-021-9/+9
|
* Update tests for the CSS changesMateusz Kowalczyk2015-06-141-32/+38
|
* support GHC 7.10: no Safe-Inferred, Foldable instancejpmoresmau2015-01-221-1/+1
|
* Crash when exporting record selectors of data family instancesNiklas Haas2014-03-311-0/+165
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.