testsuite: Add test for #13524
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
2017-04-05  Ben Gamaritestsuite: Add test for #13524
2017-04-01  Ben Gamaritestsuite: Add regression test for #13474
2017-03-29  Matthías Páll Giss... Show valid substitutions for typed holes
2017-03-28  Simon Peyton JonesTest Trac #13490
2017-03-27  Richard EisenbergFix #13458
2017-03-17  Richard EisenbergFix #13343 by not defaulting SigTvs
2017-03-14  Richard EisenbergFix #13337.
2017-03-10  Simon Peyton JonesFix constraint simplification in rules
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  vivid-synthAllow type defaulting for multi-param type classes...
2017-02-12  Christiaan BaaijzonkCt tries to maintain the canonical form of a Ct.
2017-02-09  Ben Gamaritestsuite: Add testcase for #13248
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-22  Ryan ScottRevert "Remove unnecessary isTyVar tests in TcType"
2017-01-20  Oleg GrenrusAdd 'type family (m :: Symbol) <> (n :: Symbol)'
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-09  Simon Peyton JonesFix zonk_eq_types in TcCanonical
2017-01-08  Ömer Sinan AğacanParse holes as infix operators
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-12-12  Simon Peyton JonesMake dropDerivedSimples restore [WD] constraints
2016-12-06  Vladislav ZavialovTest Trac #12919
2016-12-05  Simon Peyton JonesTest Trac #12925
2016-12-05  Simon Peyton JonesFix an asymptotic bug in the occurrence analyser
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-02  Simon Peyton JonesFix Trac #12797: approximateWC
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-10-24  Simon Peyton JonesPrioritise class-level equality costraints
2016-10-21  Simon Peyton JonesTest Trac #12507
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-10-17  Ben Gamaritestsuite: Eliminate unnecessary compile_timeout_multiplier
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-08  Edward Z. YangTc267, tests what happens if you forgot to knot-tie.
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Adam C. FoltzerRemove redundant-constraints from -Wall (#10635)
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-07-20  Ben GamariAdd another testcase for #12082
2016-07-20  Ben Gamaritestsuite: Add regression test for #12381
2016-07-05  Simon Peyton JonesTest Trac #12133
2016-06-29  Simon Peyton JonesTest Trac #12185
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-23  Richard EisenbergFix #11974 by adding a more smarts to TcDefaults.
2016-06-23  Facundo DomínguezHave Core linter accept programs using StaticPointers...
2016-06-20  Thomas MiedemaTestsuite: mark tests expect broken
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-04-22  Simon Peyton JonesDo not use defaulting in ambiguity check
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-15  Simon Peyton JonesAdjust error check for class method types
2016-04-12  Richard EisenbergFix #11811.
2016-03-26  Richard EisenbergFix #11754 by adding an additional check.
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-15  Richard EisenbergTest case for #11699 in typecheck/should_compile
2016-03-15  Richard EisenbergFix #11401.
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-17  Richard EisenbergFix #11246.
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-12  Reid BartonAdd test for #11319
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-08  Simon Peyton JonesTest Trac #11552
2016-02-06  Ben GamariAdd test for #11516
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-23  Ben GamariRemove -Wredundant-superclasses from standard warnings
2016-01-23  RyanGlScottAdd test for Trac #11056
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-18  Simon Peyton JonesTest Trac #11379
2016-01-15  Richard EisenbergFix #11254.
2016-01-01  Simon Peyton JonesAdd strictness for runRW#
2015-12-30  Richard EisenbergFix #11305.
2015-12-26  Richard EisenbergTest #11254 in typecheck/should_compile/T11254
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Jan StolarekTest #10432
2015-12-21  Ben Gamaritestsuite/ClassOperator: This actually should_fail
2015-12-21  Ben Gamaritestsuite: Add ClassOperator testcase
2015-12-18  Simon Peyton JonestcCheckSatisfiability: less aggressive superclass expansion
2015-12-16  Jan StolarekLook through type synonyms in GADT kind signatures
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-10-27  Simon Peyton JonesZonk properly when checkig pattern synonyms
2015-10-21  Thomas MiedemaTestsuite: add test for #10997
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-10-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Richard EisenbergTest #10770
2015-09-21  Richard EisenbergTest #10347
2015-09-03  Jan StolarekInjective type families
2015-09-02  Matthew PickeringAdd test for updating a record with existentially quant...
2015-08-08  Joachim BreitnerMake oneShot open-kinded
2015-07-30  Thomas MiedemaTestsuite: skip T10489 unless compiler_debugged (#10489)
2015-07-30  Thomas MiedemaTestsuite: mark tests recently fixed as passing + accep...
2015-07-20  Reid BartonAdd regression test for unused implicit parameter warni...
2015-07-18  Thomas MiedemaTestsuite: mark 3 tests expect_broken_for(#10181, ...
2015-07-18  Thomas MiedemaTestsuite: mark T2497 expect_broken_for(#10657, ['optas...
2015-07-15  Richard EisenbergFix #10642.
next