summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* 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
* testsuite: Set -dinitial-unique when reversing uniquesBen Gamari2019-07-181-1/+1
* Expunge #ifdef and #ifndef from the codebaseJohn Ericson2019-07-141-1/+1
* Fix kind-checking for data/newtypesSimon Peyton Jones2019-07-122-0/+14
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-2219-5/+205
* Fix #16632 by using the correct SrcSpan in checkTyClHdrRyan Scott2019-05-083-0/+12
* Check for duplicate variables in associated default equationsRyan Scott2019-05-075-2/+19
* Tweak error messages for narrowly-kinded assoc default declsRyan Scott2019-04-044-1/+18
* Bump ghc-prim's version where neededAlexandre2019-04-013-3/+3
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-223-3/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-202-3/+3
View Lorry Controller Status