summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-085-0/+40
* testsuite: Mark T11334b as broken in debugged compilerBen Gamari2019-02-071-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-2/+1
* Revert "Batch merge"Ben Gamari2019-01-301-1/+2
* Batch mergeBen Gamari2019-01-301-2/+1
* Visible kind applicationmynguyen2019-01-031-1/+2
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-072-8/+33
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-032-1/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2912-79/+52
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-2/+3
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-152-5/+5
* Actually add test for #15859.Richard Eisenberg2018-11-051-0/+13
* Fix #15859 by checking, not assuming, an ArgFlagRichard Eisenberg2018-11-052-0/+7
* Add a test case for #15829Ryan Scott2018-10-292-0/+10
* Test #15076 in dependent/should_compile/T15076*Richard Eisenberg2018-10-295-0/+55
* Test #15825 in dependent/should_fail/T15825Richard Eisenberg2018-10-293-0/+20
* Finish fix for #14880.Tobias Dammers2018-10-2824-28/+214
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1513-27/+27
* Fix #15725 with an extra SymRyan Scott2018-10-152-0/+75
* Add regression test for #15666Ryan Scott2018-09-252-0/+30
View Lorry Controller Status