TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / partial-sigs /
2017-02-28  Ben GamariTry submodule bumps again
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-22  Ben GamariRevert recent submodule bumps
2017-02-22  Ben GamariBump Cabal and containers submodules
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
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 JonesFix inference of partial signatures
2016-11-25  Simon Peyton JonesTest Trac #12845
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-05  Mikhail VorozhtsovHandle types w/ type variables in signatures inside...
2016-10-28  Ryan ScottAdd test for #12732
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-09-29  Simon Peyton JonesTest Trac #12634
2016-08-30  Edward Z. YangMissing stderr for T12531.
2016-08-26  Simon Peyton JonesAllow typed holes to be levity-polymorphic
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-06-28  Simon Peyton JonesDon't omit any evidence bindings
2016-06-23  Simon Peyton JonesNarrow the warning for simplifiable constraints
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-13  Simon Peyton JonesTest Trac #12039
2016-05-10  Simon Peyton JonesRecord that EqualityConstraint now works
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesError message wibbles, re partial type sigs
2016-05-10  Simon Peyton JonesFix partial sigs and pattern bindings interaction
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-04-30  Thomas MiedemaTestsuite: accept new output for 2 partial-sigs tests
2016-04-28  Thomas MiedemaTestsuite: benign test fixes
2016-04-28  Simon Peyton JonesAdd missing solveEqualities
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton Joneswibble to simplifiable
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Thomas MiedemaTestsuite: for tests that use TH, omit *all* prof_ways
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-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-16  Thomas MiedemaTestsuite: delete only_compiler_types, assume ghc
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-18  Ben GamariAdd test for T11122
2015-12-15  Ben GamariNarrow scope of special-case for unqualified printing...
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-10  Simon Peyton JonesTest Trac #11192
2015-12-04  Simon Peyton JonesAdd derived constraints for wildcard signatures
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-07  Simon MarlowMake GHCi & TH work when the compiler is built with...
2015-11-01  Herbert Valerio... Bump ghc-prim version to 0.5.0.0 (closes #11043)
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
2015-10-27  Thomas MiedemaTestsuite: accept output for T10999 (#10999)
2015-10-27  Simon Peyton JonesAdd regression tests for #10045, #10999
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-03  Thomas WinantSupport wild cards in data/type family instances
2015-07-30  Simon Peyton JonesBetter treatment of signatures in cls/inst
2015-07-20  Thomas WinantSupport wild cards in TH splices
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-13  Simon Peyton JonesTest Trac #10463
2015-07-10  Simon Peyton JonesBetter type wildcard errors
2015-07-03  Thomas WinantFix Trac #10519
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesImprove error message for Typeable k (T k)
2015-06-26  Simon Peyton JonesError message wibbles from out-of-scope changes
2015-06-23  Simon Peyton JonesFurther elaborate Trac #10403 test
2015-06-18  Simon Peyton JonesElaborate test for Trac #10403
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Thomas MiedemaTestsuite: change some expect_fail tests to expect_broken
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-02  Simon Peyton JonesTest Trac #10438
2015-05-18  Simon Peyton JonesTest Trac #10403
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesTest Trac #10403
2015-04-25  Herbert Valerio... Bump base version to 4.8.2.0
2015-04-07  Simon Peyton JonesError msg wibbles from reduced module prefixes
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-23  Herbert Valerio... Minor bump `base` version to 4.8.1.0
next