testsuite: Add test for #16104
[ghc.git] / testsuite / tests / quantified-constraints /
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-26  Simon Peyton JonesFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-15  HE, TaoAdd "quantified constraint" context in error message...
2018-06-11  Simon Peyton JonesRemove duplicate quantified constraints
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints