summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-21/+7
* Revert "Batch merge"Ben Gamari2019-01-301-7/+21
* Batch mergeBen Gamari2019-01-301-21/+7
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-0/+2
* Test Trac #15943Simon Peyton Jones2018-11-291-0/+1
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-0/+1
* Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv.mniip2018-11-011-0/+1
* Test T15711 in indexed-types/should_compile/T15711Richard Eisenberg2018-10-291-0/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-0/+3
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-261-0/+1
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-1/+1
* Add test for Trac #15352Simon Peyton Jones2018-07-111-0/+2
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-101-0/+1
* Fix newtype instance GADTsRyan Scott2018-07-051-0/+1
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-0/+2
* Fix an infinite loop in niFixTCvSubstSimon Peyton Jones2018-06-181-0/+1
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-151-0/+1
* Use dischargeFunEq consistentlySimon Peyton Jones2018-05-231-0/+1
* Do not unify representational equalitiesSimon Peyton Jones2018-05-181-0/+1
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+7
* Lint types in newFamInstRyan Scott2018-04-191-0/+1
* Don't apply dataToTag's caseRules for data familiesRyan Scott2018-02-031-0/+1
* Fix an outright bug in the unflattenerSimon Peyton Jones2017-12-141-0/+1
* Fix unused-given-constraint bugSimon Peyton Jones2017-09-191-0/+1
* Test #12938 in indexed-types/should_compile/T12938Richard Eisenberg2017-09-141-0/+1
* Fix subtle bug in TcTyClsDecls.mkGADTVarsSimon Peyton Jones2017-09-141-0/+1
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-051-0/+1
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-1/+1
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-291-0/+1
* Fix #12369 by being more flexible with data instsRichard Eisenberg2017-07-271-0/+1
* Fix the pure unifierSimon Peyton Jones2017-05-161-0/+1
* Reset cc_pend_sc flag in dropDerivedCtSimon Peyton Jones2017-05-091-0/+1
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-141-0/+2
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-2/+2
* Test Trac #13244Simon Peyton Jones2017-02-221-0/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-29/+9
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-0/+2
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-101-0/+1
* Fix wrapping order in matchExpectedConTySimon Peyton Jones2016-10-171-0/+1
* More tests for Trac #12522Simon Peyton Jones2016-10-101-0/+1
* Orient improvement constraints betterSimon Peyton Jones2016-10-101-0/+1
* Testsuite: mark tests expect_brokenThomas Miedema2016-06-281-1/+2
* Testsuite: run all indexed-types ways on ./validate --slowThomas Miedema2016-06-281-3/+0
* Expand given superclasses more eagerlySimon Peyton Jones2016-06-221-0/+1
* Prevent eager unification with type families.Richard Eisenberg2016-03-211-1/+0
* Allow eager unification with type families.Richard Eisenberg2016-03-141-0/+1
* Revert "Mark tests for #11643, #11644, #11645 and #9406 expect_broken"Ben Gamari2016-03-071-5/+7
* Mark tests for #11643, #11644, #11645 and #9406 expect_brokenThomas Miedema2016-02-251-7/+5
* Take type-function arity into accountSimon Peyton Jones2016-02-181-0/+1
View Lorry Controller Status