summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* 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
* Constrained types have kind * in validity check.Richard Eisenberg2016-01-152-0/+11
* Fix #11311Richard Eisenberg2016-01-155-0/+24
* Have mkCastTy look more closely for reflexivity.Richard Eisenberg2015-12-262-0/+342
* Test #9632 in dependent/should_compile/T9632Richard Eisenberg2015-12-142-0/+12
* Suggest import Data.Kinds when * is out of scopeRichard Eisenberg2015-12-143-0/+17
* Test case for #7961.Richard Eisenberg2015-12-112-0/+27
* Add kind equalities to GHC.Richard Eisenberg2015-12-1133-0/+480