summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-122-3/+15
* Refactor GenStgRhs to include the Type in both constructors (#23280, #22576, ...Josh Meredith2023-04-261-1/+1
* Stop if type constructors have kind errorsSimon Peyton Jones2023-04-142-16/+1
* [feat] make ($) representation polymorphicmangoiv2023-04-012-5/+14
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-226-8/+8
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-245-7/+11
* Add Javascript backendSylvain Henry2022-11-291-2/+2
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-254-6/+6
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-112-2/+4
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-263-3/+3
* Testsuite: more precise test optionsSylvain Henry2022-10-261-13/+4
* Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85Ryan Scott2022-10-061-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-1351-76/+77
* Print constraints in quotes (#21167)Swann Moreau2022-08-192-2/+2
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-3/+3
* Bump ghc-prim and base versionsBen Gamari2022-06-273-3/+3
* Deprecate TypeInType extensionHaskellMouse2022-06-0632-36/+48
* 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
View Lorry Controller Status