Turn EvTerm (almost) into CoreExpr (#14691)
[ghc.git] / compiler / typecheck / TcRnTypes.hs
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...
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-03-02  David FeuerEliminate ListSetOps from imp_trust_pkgs
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-17  Edward Z. YangFix recompilation tracking on signatures.
2017-02-16  Simon Peyton JonesUse the correct origin in SectionL and Section R
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-09  Facundo DomínguezImplement addCStub in template-haskell.
2017-02-08  Gabor GreifMore typos in comments [skip ci]
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-22  Edward Z. YangRewrite Backpack comments on never-exported TyThings.
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-12-16  Ben GamariCLabel: Kill redundant UnitId argument from labelDynamic
2016-12-12  Simon Peyton JonesMake dropDerivedSimples restore [WD] constraints
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-18  Gabor GreifSpelling in comment only
2016-11-17  Facundo DomínguezHave reify work for local variables with functional...
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-13  Simon Peyton JonesComments and white space only
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-08-16  Gabor GreifTypo in comment
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
next