summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Add a regression test for #11506Krzysztof Gogolewski2020-05-211-0/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-0/+2
* testsuite: Add testcase for #18129Ben Gamari2020-05-131-0/+1
* Add tests for #17873Simon Peyton Jones2020-04-301-0/+1
* Fix a buglet in redundant-constraint warningsSimon Peyton Jones2020-04-201-0/+2
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-0/+1
* Enable ImpredicativeTypes internally when typechecking selector bindingsRyan Scott2020-04-041-0/+1
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+1
* Re-quantify when generalising over rewrite rule typesRyan Scott2020-03-111-0/+1
* anyRewritableTyVar now looks in RuntimeRepsRichard Eisenberg2020-03-101-0/+1
* Improve error handling for VTA + deferred type errorsSimon Peyton Jones2020-02-281-0/+1
* Add regression test for #12926Ömer Sinan Ağacan2020-02-121-0/+1
* Fix naming of tests for #12923Ömer Sinan Ağacan2020-02-121-3/+3
* Do not create nested quantified constraintsRichard Eisenberg2020-02-111-1/+2
* Add regression test for #13142Ömer Sinan Ağacan2020-02-091-0/+1
* Add regression test for #12760Ömer Sinan Ağacan2020-02-081-0/+1
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-0/+1
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-1/+0
* Infer rho-types instead of sigma-types in guard BindStmts and TransStmtsSebastian Graf2019-10-161-0/+1
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-081-1/+1
* Only flatten up to type family arity in coreFlattenTyFamApp (#16995)Ryan Scott2019-10-071-0/+1
* Add -Wderiving-defaults (#15839)Kari Pahula2019-09-251-0/+2
* testsuite: Add test for #17202Ben Gamari2019-09-201-0/+1
* Add a missing update of sc_hole_ty (#16312)Simon Peyton Jones2019-09-191-0/+1
* Fix #17067 by making data family type constructors actually injectiveRyan Scott2019-08-181-0/+1
* Rip out 9-year-old pattern variable hack (#17007)Ryan Scott2019-08-021-0/+1
* Add regression test for #16946nineonine2019-07-261-0/+1
* testsuite: More type checking fixesBen Gamari2019-07-181-2/+2
* testsuite: Fix T16832Ben Gamari2019-06-261-1/+1
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-0/+1
* testsuite: Add test for #16832Ben Gamari2019-06-181-0/+1
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+8
* testsuite: Mark T14761c as broken in hpc, profasm, and optasm waysBen Gamari2019-06-121-1/+1
* Add a minimized regression test for #12928Vladislav Zavialov2019-05-141-0/+1
* Add regression test for old typechecking issue #505Kevin Buhr2019-05-071-1/+2
* Only skip decls with CUSKs with PolyKinds on (fix #16609)Ningning Xie2019-05-031-0/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fix #16411 by making dataConCannotMatch aware of (~~)Ryan Scott2019-03-131-0/+1
* Add a test for Trac #13951Krzysztof Gogolewski2019-03-111-0/+1
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-3/+3
* Fix #16188Richard Eisenberg2019-02-121-0/+4
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-0/+2
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-011-1/+0
* testsuite: Use makefile_testBen Gamari2019-01-301-16/+13
* Revert "Batch merge"Ben Gamari2019-01-301-13/+16
* Batch mergeBen Gamari2019-01-301-16/+13
* testsuite: Add tests from #11982Ben Gamari2019-01-271-0/+3
* Don't invoke dataConSrcToImplBang on newtypesRyan Scott2019-01-121-0/+1
* Visible kind applicationmynguyen2019-01-031-0/+5
* Add solveLocalEqualities to tcHsPatSigTypeSimon Peyton Jones2018-12-201-0/+1
View Lorry Controller Status