Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix test fallout (again) | alexbiehl | 2017-08-29 | 1 | -0/+5 |
| | |||||
* | Accept tests | alexbiehl | 2017-08-28 | 1 | -6/+6 |
| | |||||
* | Fix tests for content search | alexbiehl | 2017-08-28 | 1 | -0/+6 |
| | |||||
* | Remove anything related to obsolete frames mode | alexbiehl | 2017-04-26 | 1 | -2/+2 |
| | |||||
* | Use new MathJax URL in html-test | alexbiehl | 2017-04-25 | 1 | -2/+2 |
| | | | | | 18ed871afb82560d5433b2f53e31b4db9353a74e switched to a new MathJax URL but didn't update the tests. | ||||
* | html-test: Update reference output | Ben Gamari | 2016-05-10 | 1 | -15/+61 |
| | |||||
* | Update tests for previous commit | Phil Ruffwind | 2016-02-08 | 1 | -8/+24 |
| | |||||
* | html-test: Accept test output | Ben Gamari | 2016-02-08 | 1 | -40/+39 |
| | |||||
* | Update tests to follow HTML changes | Mateusz Kowalczyk | 2015-08-02 | 1 | -9/+9 |
| | |||||
* | Update tests for the CSS changes | Mateusz Kowalczyk | 2015-06-14 | 1 | -32/+38 |
| | |||||
* | support GHC 7.10: no Safe-Inferred, Foldable instance | jpmoresmau | 2015-01-22 | 1 | -1/+1 |
| | |||||
* | Crash when exporting record selectors of data family instances | Niklas Haas | 2014-03-31 | 1 | -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. |