summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints
Commit message (Expand)AuthorAgeFilesLines
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-2/+2
* Kill derived constraintsRichard Eisenberg2022-02-231-4/+4
* Add test for #21037sheaf2022-02-092-0/+25
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-274-2/+24
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-013-0/+19
* Add regression test for #19921Zubin Duggal2021-06-253-0/+39
* Use GHC2021 as default languageJoachim Breitner2021-03-103-0/+3
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-3/+0
* 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