summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-072-8/+33
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-032-1/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2912-79/+52
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-2/+3
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-152-5/+5
* Actually add test for #15859.Richard Eisenberg2018-11-051-0/+13
* Fix #15859 by checking, not assuming, an ArgFlagRichard Eisenberg2018-11-052-0/+7
* Add a test case for #15829Ryan Scott2018-10-292-0/+10
* Test #15076 in dependent/should_compile/T15076*Richard Eisenberg2018-10-295-0/+55
* Test #15825 in dependent/should_fail/T15825Richard Eisenberg2018-10-293-0/+20
* Finish fix for #14880.Tobias Dammers2018-10-2824-28/+214
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1513-27/+27
* Fix #15725 with an extra SymRyan Scott2018-10-152-0/+75
* Add regression test for #15666Ryan Scott2018-09-252-0/+30
* 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
View Lorry Controller Status