summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints
Commit message (Expand)AuthorAgeFilesLines
* Clean up the inferred type variable restrictionRyan Scott2020-07-302-0/+11
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-053-10/+8
* Do eager instantation in termsSimon Peyton Jones2020-04-221-1/+1
* testsuite: Add test for #15316Ben Gamari2020-02-083-0/+28
* testsuite: Add test for #17458Ben Gamari2019-11-133-0/+59
* Add another test for #17267Simon Peyton Jones2019-11-013-0/+41
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-1211-0/+209
* Add regression test for #15918Ryan Scott2019-03-053-0/+27
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-135-0/+66
* More refactoring in TcValiditySimon Peyton Jones2018-07-103-0/+16
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-053-0/+28
* Fix TcLevel manipulation in TcDerivInfer.simplifyDerivSimon Peyton Jones2018-06-263-0/+43
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-224-0/+95
* Add "quantified constraint" context in error message, fix #15231.HE, Tao2018-06-153-0/+23
* Remove duplicate quantified constraintsSimon Peyton Jones2018-06-112-0/+70
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-0411-0/+301