Exclude Cabal PackageTests from gen_contents_index.
[ghc.git] / testsuite / tests / typecheck /
2016-10-08  Edward Z. YangTc267, tests what happens if you forgot to knot-tie.
2016-10-06  Ryan ScottRemove unused T12124.srderr
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-30  Simon Peyton JonesMake tcrun042 fail
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-26  Simon Peyton JonesPrint foralls in user format
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  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. 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-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
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-21  Gabor GreifCorrect a few mistyped words in prose/comments
2016-07-20  Ben GamariAdd another testcase for #12082
2016-07-20  Ben Gamaritestsuite: Add regression test for #12381
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 JonesTest Trac #12133
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
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-22  Simon Peyton JonesImprove error message in deriving( Functor )
2016-06-22  Bartosz NitkaMake the Ord Module independent of Unique order (2nd...
2016-06-21  Gabor GreifTypos in comments
2016-06-20  Thomas MiedemaTestsuite: remove `-fforce-recomp` from default flags...
2016-06-20  Thomas MiedemaTestsuite: mark tests expect broken
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 JonesFix testsuite wibble
2016-06-15  Simon Peyton JonesRevert "Make the Ord Module independent of Unique order"
2016-06-14  Simon Peyton JonesAdjust error message slightly
2016-06-13  Bartosz NitkaMake the Ord Module independent of Unique order
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-06-04  Ben GamariPrelInfo: Ensure that tuple promoted datacon names...
2016-05-19  Ben GamariGive lifted primitive types a representation
2016-05-19  Ben Gamaritestsuite: Add a TypeRep test
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  Thomas MiedemaTestsuite: benign test fixes
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-26  Thomas MiedemaTestsuite: fixup lots of tests
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 JonesAccept tcrun045 output
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-15  Ben Gamaritestsuite: Add T11824
2016-04-15  Simon Peyton JonesAdjust error check for class method types
2016-04-12  Richard EisenbergFix #11811.
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-04-05  Herbert Valerio... Fix misattribution of `-Wunused-local-binds` warnings
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-30  Gabor GreifTypos in non-code
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-26  Richard EisenbergFix #11754 by adding an additional check.
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-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2016-03-15  Richard EisenbergTest case for #11699 in typecheck/should_compile
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-15  Richard EisenbergFix #11401.
2016-02-29  Thomas MiedemaSkip TEST=TcCoercibleFail when compiler_debugged
2016-02-29  Thomas MiedemaRemove some more Windows line endings [skip ci]
2016-02-29  Ben GamariDynFlags: Add -Wredundant-constraints to -Wall
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Annotate `[-Wredundant-constraints]` in warnings (re...
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
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: do not write empty files on 'make accept'
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-25  RyanGlScottAdd more type class instances for GHC.Generics
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
next