summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
View Lorry Controller Status