summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* base: Introduce Data.Monoid.Apchessai2018-05-271-1/+1
* Add regression test for #14172Ryan Scott2018-05-264-0/+115
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-212-0/+27
* base: Add Foldable and Traversable instances for AltJack Henahan2018-05-191-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-186-48/+22
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-085-0/+31
* Fix #14710 with more validity checks during renamingRyan Scott2018-04-194-2/+67
* testsuite: Accept output for T12593Ben Gamari2018-04-061-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-3111-68/+62
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-5/+2
* Respect Note [The tcType invariant]Simon Peyton Jones2018-03-052-0/+50
* Fix a nasty bug in the pure unifierSimon Peyton Jones2018-02-273-0/+83
* Raise parse error for `data T where`.HE, Tao2018-02-131-1/+1
* Prioritise equalities when solving, incl derivedsSimon Peyton Jones2018-01-312-0/+71
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-261-2/+2
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-182-10/+10
* Fix tcDataKindSigSimon Peyton Jones2017-12-152-0/+14
* Add test for Trac #14580Simon Peyton Jones2017-12-143-0/+15
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-132-2/+2
* Add missing stderr for Trac #14561Simon Peyton Jones2017-12-131-1/+5
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-133-0/+20
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-118-1/+54
* Build only well-kinded types in type checkerSimon Peyton Jones2017-12-117-0/+95
* Fix a TyVar bug in the flattenerSimon Peyton Jones2017-11-143-0/+40
* Avoid creating dependent types in FloatOutSimon Peyton Jones2017-10-112-0/+111
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+1
* Add regression test for #9725Ryan Scott2017-10-032-0/+52
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-284-0/+23
* Improve type-error reportingSimon Peyton Jones2017-09-253-0/+36
* Add regression test for #14209Ryan Scott2017-09-132-0/+6
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-073-4/+12
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-054-5/+68
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-1/+1
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-296-3/+35
* Test Trac #14110Simon Peyton Jones2017-08-183-0/+15
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-1/+1
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-275-12/+9
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-275-27/+68
* Remove HsContext from ppr_mono_ty, and remove ppParendHsTypeAlan Zimmerman2017-05-282-3/+2
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-264-7/+8
* Fix scoping of data cons during kind checkingSimon Peyton Jones2017-05-193-0/+11
* Add regression test for Trac #13659Simon Peyton Jones2017-05-093-0/+19
* Add regression test for #11616Ryan Scott2017-05-042-0/+20
* Document the kind generalization behavior observed in #13555Ryan Scott2017-04-233-0/+67
* Improve error messages for skolemsSimon Peyton Jones2017-03-102-2/+4
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-106-8/+143
* Deal with JoinIds before void typesSimon Peyton Jones2017-03-102-0/+16
* Join points can be levity-polymorphicSimon Peyton Jones2017-03-082-0/+16
* Disallow class instances for synonymsSimon Peyton Jones2017-02-213-0/+21
* Type-indexed TypeableBen Gamari2017-02-182-3/+4
View Lorry Controller Status