summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Add regression test for #12926Ömer Sinan Ağacan2020-02-122-0/+37
* Fix naming of tests for #12923Ömer Sinan Ağacan2020-02-124-3/+3
* Do not create nested quantified constraintsRichard Eisenberg2020-02-115-2/+72
* Add regression test for #13142Ömer Sinan Ağacan2020-02-092-0/+161
* Add a test for #15712Krzysztof Gogolewski2020-02-093-0/+25
* Add regression test for #12760Ömer Sinan Ağacan2020-02-082-0/+37
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* Add regression test for #17773Ryan Scott2020-02-053-0/+32
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-019-0/+71
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-0/+4
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-122-3/+3
* Don't zap to Any; error insteadRichard Eisenberg2020-01-125-30/+68
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-1/+1
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-046-6/+6
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-163-0/+13
* Pretty-printing of the * kindVladislav Zavialov2019-12-052-2/+2
* Fix more typosBrian Wignall2019-12-021-1/+1
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-282-2/+2
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-273-11/+14
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-196-12/+12
* Give seq a more precise type and remove magicBen Gamari2019-11-195-34/+34
* base: Bump version to 4.14.0.0Ben Gamari2019-11-142-3/+3
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-105-50/+68
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-304-4/+4
* Make isTcLevPoly more conservative with newtypes (#17360)Ryan Scott2019-10-243-0/+18
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-239-9/+86
* Infer rho-types instead of sigma-types in guard BindStmts and TransStmtsSebastian Graf2019-10-163-0/+13
* Don't skip validity checks for built-in classes (#17355)Ryan Scott2019-10-153-0/+21
* Fix validity checking for inferred typesSimon Peyton Jones2019-10-124-0/+17
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-2/+2
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-082-5/+8
* Only flatten up to type family arity in coreFlattenTyFamApp (#16995)Ryan Scott2019-10-072-0/+22
* Add Monad instances to `(,,) a b` and `(,,,) a b c`Fumiaki Kinoshita2019-10-042-2/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-257-13/+21
* Add -Wderiving-defaults (#15839)Kari Pahula2019-09-254-0/+22
* testsuite: Add test for #17202Ben Gamari2019-09-202-0/+21
* Test #17077.Richard Eisenberg2019-09-193-0/+14
* Use level numbers for generalisationRichard Eisenberg2019-09-191-1/+7
* Add a missing update of sc_hole_ty (#16312)Simon Peyton Jones2019-09-192-0/+15
* Improve error message for out-of-scope variables + VTASimon Peyton Jones2019-09-174-6/+9
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-0/+4
* Fix scoping of implicit parametersSimon Peyton Jones2019-09-133-0/+26
* Fix #17067 by making data family type constructors actually injectiveRyan Scott2019-08-182-0/+12
* Make add_info attach unfoldings (#16615)Tobias Dammers2019-08-151-2/+7
* Rip out 9-year-old pattern variable hack (#17007)Ryan Scott2019-08-023-9/+23
* Add regression test for #16946nineonine2019-07-262-0/+13
* Line wrap when pp long expressions (fixes #16874)Alfredo Di Napoli2019-07-203-0/+25
* testsuite: More type checking fixesBen Gamari2019-07-181-2/+2
* Expunge #ifdef and #ifndef from the codebaseJohn Ericson2019-07-142-2/+2
* testsuite: Fix T16832Ben Gamari2019-06-262-5/+6
View Lorry Controller Status