summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-1/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-028-25/+58
* Remove the type-checking knot.Richard Eisenberg2018-08-014-2/+28
* Fix some casts.Richard Eisenberg2018-07-233-0/+88
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-1/+1
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-103-0/+23
* Mark AutoDeriveTypeable as deprecatedKrzysztof Gogolewski2018-07-061-1/+1
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-053-0/+18
* Remove accidentally checked-in T14845.stderrRyan Scott2018-06-171-7/+0
* Provide a better error message for unpromotable data constructor contextsRyan Scott2018-06-1712-3/+104
* Warn about implicit kind variables with -WcompatVladislav Zavialov2018-06-163-0/+26
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-153-0/+25
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1473-160/+183
* Fix `print-explicit-runtime-reps` (#11786).HE, Tao2018-06-085-8/+45
* testsuite: Fix dynamic-paper stderr fileBen Gamari2018-06-071-1/+15
* Remove ad-hoc special case in occAnalSimon Peyton Jones2018-06-072-1/+2
* 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
View Lorry Controller Status