summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-5/+5
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+8
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-4/+1
* Fix #14238 by always pretty-printing visible tyvarsRyan Scott2018-04-073-0/+6
* Fix #14991.Richard Eisenberg2018-04-022-0/+35
* Track type variable scope more carefully.Richard Eisenberg2018-03-3130-31/+316
* Fix the test for #13938Ryan Scott2018-03-274-68/+102
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-265-17/+100
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-283-4/+6
* Test #13938, with expect_brokenRichard Eisenberg2017-09-142-0/+81
* Make rejigConRes do kind substitutionsRichard Eisenberg2017-09-142-0/+148
* Regression test for #12742Richard Eisenberg2017-09-142-0/+12
* Test #14038 in dependent/should_compile/T14038Richard Eisenberg2017-09-142-0/+76
* Typofixes [ci skip]Gabor Greif2017-07-301-1/+1
* Add regression tests for #13601, #13780, #13877Ryan Scott2017-07-288-0/+106
* Fix #12176 by being a bit more careful instantiating.Richard Eisenberg2017-07-272-0/+19
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-273-6/+9
* Add regression test for #11964Ryan Scott2017-05-123-1/+16
* Add regression test for #11966Ryan Scott2017-05-122-0/+35
* Add regression test for #13538Ryan Scott2017-04-062-0/+46
* Type-indexed TypeableBen Gamari2017-02-183-39/+39
* Apply the right substitution in ty-fam improvementSimon Peyton Jones2017-01-233-0/+133
* Update levity polymorphismRichard Eisenberg2017-01-192-4/+4
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-073-13/+12
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Test Trac #12081Simon Peyton Jones2016-10-243-0/+17
* Test Trac #12174Simon Peyton Jones2016-10-243-0/+17
* Fix #12442.Richard Eisenberg2016-09-232-0/+58
* Wibble error message for #11471Simon Peyton Jones2016-06-281-0/+1
* Typos in comments [skip ci]Gabor Greif2016-06-221-1/+1
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-4/+4
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-3/+3
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-6/+4
* Kill varSetElems in TcErrorsBartosz Nitka2016-04-261-1/+1
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-3/+3
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-221-1/+4
* Deeply instantiate in :typeSimon Peyton Jones2016-04-042-5/+6
* Default RuntimeRep variables unless -fprint-explicit-runtime-repsBen Gamari2016-03-244-1/+30
* Fix #11723 and #11724.Richard Eisenberg2016-03-211-5/+4
* Rename test for #11334 to 11334b, fixing conflictRichard Eisenberg2016-03-213-5/+5
* Fix #11635 / #11719.Richard Eisenberg2016-03-213-0/+27
* TypeApplications does not imply AllowAmbiguousTypesRichard Eisenberg2016-03-211-1/+1
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-171-2/+2
* Fix #11716.Richard Eisenberg2016-03-172-0/+698
* Fix #11711.Richard Eisenberg2016-03-172-0/+59
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-153-0/+34
* Fix #11473.Richard Eisenberg2016-03-153-0/+35
* Fix #11648.Richard Eisenberg2016-03-146-1/+33
* Fix #11334.Richard Eisenberg2016-03-143-0/+33