summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* Reduce inlining in deeply-nested casesSimon Peyton Jones2021-02-092-19/+8
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-221-4/+5
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-152-15/+7
* Implement BoxedRep proposalAndrew Martin2020-12-142-7/+15
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-1/+1
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-263-3/+3
* PmCheck: Print types of uncovered patterns (#18932)Sebastian Graf2020-11-181-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-6/+5
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-273-5/+7
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2410-19/+46
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-243-8/+9
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-195-10/+2
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-082-0/+8
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-1/+1
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-023-3/+3
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-304-4/+16
* Update testsuiteSylvain Henry2020-06-173-6/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* base: Bump to 4.15.0.0Ben Gamari2020-06-173-6/+6
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-6/+4
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0512-16/+36
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-251-2/+2
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-2/+2
* Flatten nested casts in the simple optimizerAlexis King2020-05-031-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-072-2/+2
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-071-1/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-203-16/+6
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-128-8/+8
* Do not bring visible foralls into scope in hsScopedTvswip/T17687Ryan Scott2020-01-253-0/+13
* Don't zap to Any; error insteadRichard Eisenberg2020-01-1211-8/+52
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-118-0/+78
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-1/+1
* base: Bump version to 4.14.0.0Ben Gamari2019-11-143-3/+3
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-051-1/+4
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-1/+1
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-2/+2
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-1/+1
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+2
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-092-2/+2
* testsuite: Add assertions that way lists are in fact listsBen Gamari2019-06-151-7/+7
* testsuite: Mark T13910 as broken in optasmBen Gamari2019-06-121-1/+1
* 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-2/+2
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-168-12/+57
View Lorry Controller Status