Show sources of cost centers in .prof
[ghc.git] / testsuite / tests / typecheck /
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.
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-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-21  Thomas MiedemaTestsuite: pass '-s --no-print-directory' to MAKE
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
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-12  Simon Peyton JonesBeef up tc124
2016-02-12  Reid BartonAdd test for #11319
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 JonesTest Trac #11552
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  Ben GamariAdd test for #11516
2016-02-06  Eric SeidelAdd a derived `Show SrcLoc` instance
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-24  Thomas MiedemaAdd -fwarn-redundant-constrains to test for #9708
2016-01-23  Ben GamariAdd test for #11473
2016-01-23  Ben GamariRemove -Wredundant-superclasses from standard warnings
2016-01-23  RyanGlScottAdd test for Trac #11056
2016-01-22  Ben GamariAdd tests for #11465 and the kind invariant
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-18  Simon Peyton JonesTest Trac #11379
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
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 #11254.
2016-01-15  Richard EisenbergFix #11355.
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-14  Ben GamariAdd tests for #11391
2016-01-13  Ben GamariAdd test for Data.Typeable.typeOf
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-07  Gabor GreifTypos in docs and comments
next