summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Update testsuiteSylvain Henry2020-06-173-6/+3
* base: Bump to 4.15.0.0Ben Gamari2020-06-172-4/+4
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-105-11/+11
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-056-26/+34
* Do eager instantation in termsSimon Peyton Jones2020-04-221-7/+7
* 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-071-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-122-2/+4
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-252-0/+8
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-0/+1
* Pretty-printing of the * kindVladislav Zavialov2019-12-051-1/+1
* 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-233-1/+3
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-202-0/+48
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-022-0/+39
* 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-225-0/+75
* Fix #16632 by using the correct SrcSpan in checkTyClHdrRyan Scott2019-05-083-0/+12
* Check for duplicate variables in associated default equationsRyan Scott2019-05-071-1/+1
* Tweak error messages for narrowly-kinded assoc default declsRyan Scott2019-04-041-1/+3
* 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-201-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1510-10/+10
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-1/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-302-23/+8
* Revert "Batch merge"Ben Gamari2019-01-302-8/+23
* Batch mergeBen Gamari2019-01-302-23/+8
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-073-11/+10
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-296-13/+41
* Test Trac #15943Simon Peyton Jones2018-11-292-0/+34
* 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
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-276-14/+99
* 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-1560-101/+210
* Better -ddump-typesSimon Peyton Jones2018-10-041-6/+2
* Fix Lint of unsaturated type familiesSimon Peyton Jones2018-09-262-0/+14
* Allow scoped type variables refer to typesJoachim Breitner2018-08-052-1/+107
* 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
View Lorry Controller Status