SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
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.
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-07  David KraeutmannAllow deferred type error warnings to be suppressed
2015-07-05  Thomas MiedemaRemove Hugs specific test setups (omit_compiler_type)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonescloseOverKinds *before* oclose in coverage check
2015-06-25  Simon Peyton JonesTest Trac #10562
2015-06-16  Richard EisenbergTreat funTyCon like any other TyCon in can_eq_nc.
2015-06-16  Richard EisenbergTest case for #10428.
2015-06-16  Richard EisenbergFix #10493.
2015-06-16  Richard EisenbergFix #10494
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Gabor GreifTest Trac #10348
2015-06-09  Thomas MiedemaTestsuite: delete expect_fail setups for hugs
2015-06-05  Richard EisenbergFix #10489
2015-06-02  Simon Peyton JonesTest Trac #10423
2015-05-19  Simon Peyton JonesTest Trac #8799, #8555
2015-05-07  Simon Peyton JonesRegression test for Trac #10390
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-16  Iavor S. DiatchkiAdd exception for `KnownNat` and `KnownSymbol` in super...
2015-04-15  Simon Peyton JonesFix fundep coverage-condition check for poly-kinds
2015-04-07  Edward Z. YangAxe one-shot sig-of
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-22  Austin Seipptestsuite: add test for #10177
2015-03-16  Simon Peyton JonesTest Trac #10156
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-15  Simon Peyton JonesImprove typechecking of RULEs, to account for type...
2015-01-27  Richard EisenbergFix #10031 by inverting a critical test in kick_out.
2015-01-19  Jose Pedro MagalhaesMake AutoDeriveTypeable work for associated datatypes...
2015-01-16  Simon Peyton JonesFix a terrible bug in the canonicaliser which led to...
2015-01-09  Simon Peyton JonesFix Trac #9973 (buglet in -fwarn-redundant-constraints)
2015-01-06  Simon Peyton JonesTest Trac #9939
2014-12-17  Simon Peyton JonesFix egregious bug in the new canonicalisation code...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesTestsuite wibbles from constraint-solver improvements
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-11-26  Simon Peyton JonesTest Trac #9834
2014-11-24  Richard EisenbergTest #7643 in typecheck/should_compile/T7643.
2014-11-21  Merijn VerstraatenAdd -fdefer-typed-holes flag which defers hole errors...
2014-11-21  Simon Peyton JonesFix up tests for Trac #7220; the old test really was...
2014-11-21  Simon Peyton JonesTest Trac #9569
2014-11-20  Richard EisenbergTest #9151 in typecheck/should_compile/T9151.
2014-11-12  Richard EisenbergFix #9404 by removing tcInfExpr.
2014-11-12  Richard EisenbergTest #9404 (typecheck/should_compile/T9404 and T9404b)
2014-11-04  Simon Peyton JonesTest Trac #9708
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-05-20  Joachim BreitnerCoercible: Test case for now broken(?) corner case
2014-05-20  Joachim BreitnerCoercible: Unwrap newtypes before coercing under tycons
next