Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail /
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-07-11  Ryan ScottFix #13948 by being pickier about when to suggest DataKinds
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-19  Douglas WilsonAdd test cases for #13821
2017-05-27  Ryan ScottAdd regression test for #12648
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-12  Ryan ScottAdd regression tests for #12083
2017-05-11  Ryan ScottParenthesize pretty-printed equalities when necessary
2017-05-11  Soham ChowdhuryFix incorrect ambiguity error on identically-named...
2017-05-06  Ryan ScottAdd regression tests for #12947, #13640
2017-05-04  David FeuerAdd test for #13320
2017-05-03  Richard EisenbergShave the hair off mkCastTy.
2017-04-24  Joachim BreitnerAdd failing test case for T13611
2017-04-23  Ben Gamaritestsuite: Mark T13075 as broken due to #13075
2017-04-23  Ben Gamaritestsuite: Add testcase for #13075
2017-04-06  Simon Peyton JonesAdd a missing addDeferredBinding
2017-04-06  Simon Peyton JonesDon't report fundep wanted/wanted errors
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-17  Richard EisenbergFix #12709 by not building bad applications
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-07  Gabor GreifTypos in changelog and comments
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-28  Ben GamariAdd Eq instances for TrName, Module
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-23  Ryan ScottAdd instances for (:~~:) mirroring those for (:~:)
2017-02-21  Simon Peyton JonesTest Trac #13300
2017-02-21  Simon Peyton JonesGather constraints locally in checkMain
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-18  Edward Z. YangSay 'data' explicitly in IfAbstractTyCon output.
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-10  Simon Peyton JonesChange rewritableTyVarsOfType to anyRewritableTyVar
2017-02-09  Simon Peyton JonesGuard rewritableTyVarsOfType
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2017-01-23  Gabor GreifTypos and grammar in manual/comments
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-19  Richard EisenbergUpdate levity polymorphism
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-09  Simon Peyton JonesFix zonk_eq_types in TcCanonical
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym
2016-12-18  Sergei TrofimovichT12035j: disable on NOSMP targets
2016-12-15  Ben Gamaritestsuite: Add test for #12966
2016-12-15  Ben Gamaribase: Bump version to 4.10.0.0
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Sylvain HenryReplace -fshow-source-paths with -fhide-source-paths
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-12  Ryan ScottAdd test for #12589
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-06  Ryan ScottRemove unused T12124.srderr
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-12  Simon Peyton JonesTestsuite wibbles, to the same files
2016-09-12  Simon Peyton JonesTest wibbles for commit 03541cba
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-21  Edward Z. YangWe also need to retypecheck before when we do parallel...
2016-08-21  Edward Z. YangRetypecheck both before and after finishing hs-boot...
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
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
next