[ splitResult ] Interaction test case.
[ splitResult ] makeCase with no vars now tries to split on result
(introducing projection patterns).
[ splitResult ] documented in CHANGELOG.
Merge branch 'maint-2.4.0' into splitResult
[ splitResult ] Introduce pattern variables before splitting on result.
This handles function types ending in record type.
[ splitResult ] Updated test case to work with function types.
[ splitResult ] updated CHANGELOG to include function types.
[ issue 1239 ] test case
[ issue 1239 ] More debug printing.
[ issue 1239 ] Removed commented-out code.
[ issue 1239 ] Fixed by checking recEtaEquality in isSingletonType.
[ issue 1239 ] Updated test case Issue840a (explicit ETA).
Merge branch 'maint-2.4.0'
[ issue 1243 ] Upgraded to equivalence-0.2.4.
Merge branch 'maint-2.4.0'
[ refactor ] Standard ordering of imports.
[ refactor ] A use of mapSnd.
[ clarification ] generateHTML did not use its argument.
[ haddock ] Commented Interaction.Highlighting.Dot.
[ test ] Issue481 now also tests for .dot generation.