summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add regression test for #16347Ryan Scott2019-03-122-1/+9
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-099-2/+50
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-075-0/+35
* Visible dependent quantificationRyan Scott2019-03-0129-5/+268
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-279-19/+14
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-232-5/+10
* Disable binder swap in OccurAnal (Trac #16288)Krzysztof Gogolewski2019-02-191-2/+2
* Fix tests which were made to pass by "Make a smart mkAppTyM"Matthew Pickering2019-02-161-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-16/+0
View Lorry Controller Status