Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail /
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-23  Richard EisenbergFix #11974 by adding a more smarts to TcDefaults.
2016-06-22  Simon Peyton JonesImprove error message in deriving( Functor )
2016-06-22  Bartosz NitkaMake the Ord Module independent of Unique order (2nd...
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR again.. [skip ci]
2016-06-18  Ryan ScottAdd Bifoldable and Bitraversable to base
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-15  Simon Peyton JonesRevert "Make the Ord Module independent of Unique order"
2016-06-13  Bartosz NitkaMake the Ord Module independent of Unique order
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-18  Edward Z. YangAdd (broken) test for #12063.
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-05-10  Bartosz Nitkamake accept for Make simplifyInstanceContexts deterministic
2016-05-10  Simon Peyton JonesError message wibbles, re partial type sigs
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-05-04  Iavor S. DiatchkiBe more aggressive when checking constraints for custom...
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
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-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-04-11  Rik SteenkampFix a closed type family error message
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-20  Ben GamariRevert "Add test for #11473"
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-29  Thomas MiedemaSkip TEST=TcCoercibleFail when compiler_debugged
2016-02-29  Thomas MiedemaRemove some more Windows line endings [skip ci]
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  RyanGlScottAdd more type class instances for GHC.Generics
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-16  Yuras ShumovichSuggest candidate instances in error message
2016-02-15  Simon Peyton JonesComments only
2016-02-15  Simon Peyton JonesImprove error message suppression
2016-02-12  Sergei Trofimovichtestsuite: tweak error messages for new Show instance
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-09  Ben GamariTcErrors: Fix plural form of "instance" error
2016-02-09  RyanGlScottRestore derived Eq instance for SrcLoc
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesAdd comments to TcCoercibleFail
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-02-06  Eric SeidelAdd a derived `Show SrcLoc` instance
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-23  Ben GamariAdd test for #11473
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-15  Richard EisenbergFix typo in error message (#11409)
2016-01-15  Richard EisenbergFix #11355.
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-14  Ben GamariAdd tests for #11391
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2016-01-05  Joachim BreitnerAdd (failing) test case for #11347
2015-12-26  Richard EisenbergTest #10619 in typecheck/should_fail/T10619
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesTest Trac #11274
2015-12-21  Ben Gamaritestsuite/ClassOperator: Mark as compile_fail instead...
2015-12-21  Ben Gamaritestsuite/ClassOperator: This actually should_fail
2015-12-17  David LuposchainskyConditionally show plural "s" in warnings
2015-12-15  Ben GamariNarrow scope of special-case for unqualified printing...
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-04  Simon Peyton JonesTidy user type errors in checkValidType
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-24  Herbert Valerio... Add `PrelNames.thenAName` for `Applicative(*>)`
2015-11-23  Simon Peyton JonesImprove constraint-used-as-type error msg
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-01  Herbert Valerio... Bump `base` version to 4.9.0.0 (closes #11026)
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
next