summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* Multiple Home UnitsMatthew Pickering2021-12-281-2/+2
* Include "not more specific" info in overlap msgsheaf2021-11-203-15/+17
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-083-1/+19
* Show family TyCons in mk_dict_error in the case of a single matchZiyang Liu2021-10-294-0/+61
* Don't default type variables in type familiessheaf2021-10-263-1/+32
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-227-0/+54
* Improve overlap error for polykinded constraintssheaf2021-10-064-2/+28
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-151-3/+21
* Update expected stderr for affected tests, which are not under Tc directoryCarrieMY2021-07-281-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-4/+19
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-193-3/+3
* Always generate ModDetails from ModIfaceMatthew Pickering2021-04-143-18/+18
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-052-3/+3
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-292-4/+4
* GHC Exactprint main commitAlan Zimmerman2021-03-202-2/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-1067-76/+123
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-017-36/+46
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-8/+7
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-133-0/+48
* Fix typosBrian Wignall2021-02-061-1/+1
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-5/+5
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-22/+6
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-085-10/+47
* Remove flattening variablesRichard Eisenberg2020-12-0123-63/+166
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-262-2/+2
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-272-2/+2
* Unification of Nat and NaturalsHaskellMouse2020-10-132-1/+2
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-092-0/+34
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-10/+8
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-0911-8/+33
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-4/+4
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-023-3/+3
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Update testsuiteSylvain Henry2020-06-174-7/+4
* base: Bump to 4.15.0.0Ben Gamari2020-06-172-4/+4
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-107-13/+13
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0546-173/+228
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Do eager instantation in termsSimon Peyton Jones2020-04-223-12/+11
* Fix #18065 by fixing an InstCo oversight in Core LintRyan Scott2020-04-172-0/+109
* Significant refactor of LintSimon Peyton Jones2020-04-122-0/+45
* Modules: type-checker (#13009)Sylvain Henry2020-04-072-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-202-2/+6
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-124-4/+6
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-252-0/+8
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-042-2/+2
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-0/+1
View Lorry Controller Status