summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* 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
* Pretty-printing of the * kindVladislav Zavialov2019-12-058-10/+10
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-7/+7
* base: Bump version to 4.14.0.0Ben Gamari2019-11-142-2/+2
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-104-0/+16
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-301-3/+3
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-239-10/+14
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-22/+25
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-202-0/+48
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-175-0/+25
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-025-0/+61
View Lorry Controller Status