summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1514-14/+14
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-1/+1
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-1/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-20/+2
* Fix #16188Richard Eisenberg2019-02-121-12/+0
* testsuite: Mark T5515 as broken with debugged compilerBen Gamari2019-02-071-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-306-32/+14
* Revert "Batch merge"Ben Gamari2019-01-306-14/+32
* Batch mergeBen Gamari2019-01-306-32/+14
* Fix #16116 by removing badAssocRhsRyan Scott2019-01-151-6/+22
* Visible kind applicationmynguyen2019-01-031-24/+0
* Fix #16002 by moving a validity check to the renamerRyan Scott2018-12-201-2/+2
* don't suggest Rank2Types in error messages (Fixed #16000)chessai2018-12-191-1/+1
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-0710-21/+20
* Two tests for Trac #14230Simon Peyton Jones2018-11-305-0/+39
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2938-79/+298
* Test Trac #15943Simon Peyton Jones2018-11-292-0/+34
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-3/+4
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-223-0/+24
* Move eta-reduced coaxiom compatibility handling quirks into FamInstEnv.mniip2018-11-012-0/+13
* Test T15711 in indexed-types/should_compile/T15711Richard Eisenberg2018-10-293-0/+14
* Finish fix for #14880.Tobias Dammers2018-10-281-0/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-2713-14/+229
* A little more wibbling to -ddump-typesSimon Peyton Jones2018-10-251-0/+2
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-2/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1577-128/+259
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-041-2/+2
* Better -ddump-typesSimon Peyton Jones2018-10-041-6/+2
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-262-0/+14
* Reject class instances with type families in kindsRyan Scott2018-09-023-14/+17
* Allow scoped type variables refer to typesJoachim Breitner2018-08-054-50/+1
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-2/+1
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-251-2/+2
* Fix #15423 by using pprAStmtContextRyan Scott2018-07-201-1/+1
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-3/+3
* Add test for Trac #15352Simon Peyton Jones2018-07-112-0/+33
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-102-0/+15
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-1/+1
* Fix newtype instance GADTsRyan Scott2018-07-052-0/+9
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-055-0/+46