Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / TcRnTypes.hs
2019-01-21  Matthew PickeringFix typo in TcRnTypes.hs [skip ci]
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
2018-10-24  Simon Peyton JonesWibble report a wanted
2018-10-24  Simon Peyton JonesAdd HasDebugCallStack to ctEvCoecion
2018-10-24  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-05  Krzysztof GogolewskiMake TcRnMonad independent of TcSplice (#14391)
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-09-15  ningningCoercion Quantification
2018-09-13  Simon Peyton JonesMore info for Implication with -dppr-debug
2018-08-24  Simon Peyton JonesComments only
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-07-25  Simon Peyton JonesComments only
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-21  Simon Peyton JonesMake dischargeFmv handle Deriveds
2018-05-18  Simon Peyton JonesDebug tracing only
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-17  Simon MarlowFix GHCi space leaks (#15111)
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergClarify comments around dropping Derived constraints
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-25  Alec TheriaultSupport adding objects from TH
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-02  Shea LevyMake cost centre symbol names deterministic.
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-01-31  Simon Peyton JonesMore tc-tracing
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-23  Bartosz NitkaAllocate less in plus_mod_dep
2018-01-22  Simon Peyton JonesImprove comments about TcLevel invariants
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-15  Facundo DomínguezStaticPointers: Clarify documentation
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Gabor GreifTypofixes in comments
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-11  Simon Peyton JonesFix over-eager error suppression in TcErrors
2017-09-27  Gabor GreifTypofixes
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-22  Facundo DomínguezImplement TH addCorePlugin.
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-09-05  alexbiehlRemember the AvailInfo for each IE
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-25  Simon Peyton JonesComments, plus adjust debug print of TcTyThing(ATyVar)
2017-08-24  Simon Peyton JonesBetter pretty-printing for CHoleCan
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Gabor GreifFix note references and some typos
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Gabor GreifA few typos [ci skip]
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-19  Simon Peyton JonesFix scoping of data cons during kind checking
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-05-15  Bartosz NitkaRevert "Use a deterministic map for imp_dep_mods"
2017-05-15  Bartosz NitkaRevert "Stress test for nested module hierarchies"
2017-05-15  Bartosz NitkaStress test for nested module hierarchies
2017-05-09  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-04-28  Simon Peyton JonesComments only
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesDon't report fundep wanted/wanted errors
2017-04-02  Edward Z. YangExtra docs on tcg_imports.
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-09  Francesco MazzoliAllow compilation of C/C++/ObjC/ObjC++ files with modul...
next