TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / pmcheck /
2017-03-03  Ben Gamaritestsuite: Add comment clarifying intention of complete...
2017-03-03  Reid BartonUpdate test completesig04
2017-03-03  Ben Gamaritestsuite: Fix output due to recent COMPLETE changes
2017-02-08  Simon Peyton JonesKill inaccessible-branch complaints in record update
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-16  Thomas MiedemaTestsuite: delete only_compiler_types, assume ghc
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-04  George KarachaliasAvoid generating guards for CoPats if possible (Address...
2015-12-31  Simon Peyton JonesTest Trac #11245
2015-12-30  Ben GamariT11303: Set maximum heap size
2015-12-29  Ben GamariAdd regression test for #11303
2015-12-18  Simon Peyton JonestcCheckSatisfiability: less aggressive superclass expansion
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-04  Ben Gamaritestsuite: Rename pmcheck/T7669 to pmcheck/T7669a
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)