summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Improve error reporting in generated codeSimon Peyton Jones2022-05-042-3/+4
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-013-3/+2
* Kill derived constraintsRichard Eisenberg2022-02-236-10/+198
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-3/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-298-8/+8
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-2/+3
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Pmc: Don't case split on wildcard matches (#20642)Sebastian Graf2021-11-171-5/+1
* Increase type sharingBen Gamari2021-11-171-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-173-34/+0
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-211-2/+3
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-5/+7
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-193-3/+3
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-313-3/+25
* Use GHC2021 as default languageJoachim Breitner2021-03-1025-9/+28
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-072-7/+15
* Reduce inlining in deeply-nested casesSimon Peyton Jones2021-02-092-19/+8
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-221-4/+5
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-152-15/+7
* Implement BoxedRep proposalAndrew Martin2020-12-142-7/+15
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-1/+1
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-263-3/+3
* PmCheck: Print types of uncovered patterns (#18932)Sebastian Graf2020-11-181-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-6/+5
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-273-5/+7
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2410-19/+46
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-243-8/+9
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-195-10/+2
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-082-0/+8
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-1/+1
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-023-3/+3
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-304-4/+16
* Update testsuiteSylvain Henry2020-06-173-6/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* base: Bump to 4.15.0.0Ben Gamari2020-06-173-6/+6
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-6/+4
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0512-16/+36
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-251-2/+2
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-2/+2
* Flatten nested casts in the simple optimizerAlexis King2020-05-031-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-072-2/+2
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-071-1/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-203-16/+6
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-128-8/+8
View Lorry Controller Status