summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix #11407.Richard Eisenberg2016-03-143-0/+19
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-1/+1
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-244-10/+10
* Fix #11241.Richard Eisenberg2016-02-173-1/+13
* Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330)Thomas Miedema2016-01-291-1/+4
* Fix two cloning-related bugsSimon Peyton Jones2016-01-261-0/+5
* Add "ticks-exhausted" commentSimon Peyton Jones2016-01-261-0/+7
* Fix #11405.Richard Eisenberg2016-01-151-1/+1