Fix #14934 by including axSub0R in typeNatCoAxiomRules
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
2018-03-19  Ryan ScottFix #14934 by including axSub0R in typeNatCoAxiomRules
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-16  Ryan ScottFix #14811 by wiring in $tcUnit#
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-01  Simon Peyton JonesAdd -ddump-ds-preopt
2018-01-31  Simon Peyton JonesLook inside implications in simplifyRule
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2017-12-21  Ryan ScottImprove treatment of sectioned holes
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-22  Vladislav ZavialovTest Trac #14488
2017-11-22  Evan Rutledge BordenAdd warn-missing-export-lists
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesFix another dark corner in the shortcut solver
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-25  Daishi NakajimaImplement `-Wpartial-fields` warning (#7169)
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-08-31  Simon Peyton JonesReally fix Trac #14158
2017-08-29  Ben Gamaritestsuite: Add test for #14128
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-07-31  Simon Peyton JonesReject top-level banged bindings
2017-07-20  Ben GamariHsPat: Assume that no spliced patterns are irrefutable
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-07-19  Ryan ScottAllow visible type application for []
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-27  Ben Gamaritypecheck: Consider types containing coercions non...
2017-06-27  Ben Gamaritestsuite: Add broken test for #13871
2017-06-19  Ben Gamaritestsuite: Add testcase for #13822
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Simon Peyton JonesMake the MR warning more accurage
2017-05-11  Ben Gamaritestsuite: Fix location of T13594 test
2017-05-11  Ryan ScottAdd regression test for #12850
2017-05-06  Ryan ScottAdd regression test for #13651
2017-05-03  Richard EisenbergTest #13585 in typecheck/should_compile/T13585
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-04-28  Ryan ScottAdd regression test for #12104
2017-04-24  Ryan ScottAdd regression test for #13603
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-06  Simon Peyton JonesBe less aggressive about fragile-context warrnings
2017-04-06  Simon Peyton JonesYet another attempt at inferring the right quantification
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.
next