Documentation for simplifyDeriv.
[ghc.git] / compiler /
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-05-06  Matthew PickeringFix pretty printing of IEThingWith
2016-05-06  Simon Peyton JonesUse tcExtendGlobalValEnv for default methods
2016-05-06  Facundo DomínguezExplain linter optimization for StaticPtr checks.
2016-05-05  Matthew PickeringComments only explaining export list parsing.
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-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-05-02  RyanGlScottMake validDerivPred ignore non-visible arguments to...
2016-05-02  Sergei Trofimovichadded docstring for '-fhistory-size' flag
2016-05-01  Matthew PickeringMake sure record pattern synonym selectors are in scope...
2016-05-01  Bartosz NitkaRemove unused equivClassesByUniq
2016-05-01  Bartosz NitkaRemove unused getScopedTyVarBinds
2016-05-01  Ömer Sinan AğacanTypos in DmdAnal
2016-04-30  Ryan ScottComment typo: unambigious -> unambiguous
2016-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-30  RyanGlScottFix reference to Note in TcCanonical
2016-04-29  Peter TrommlerPPC NCG: Improve pointer de-tagging code
2016-04-29  Bartosz NitkaFix typo: Superclases -> Superclasses
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-28  Bartosz NitkaRemove unused foldNameEnv
2016-04-28  Bartosz NitkaRemove unused foldFsEnv
2016-04-28  Bartosz NitkaKill mapUniqSet
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Bartosz NitkaKill unused foldOccSet
2016-04-28  Simon Peyton JonesFix debug-only check in CoreLint
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-28  Simon Peyton JonesAdd missing solveEqualities
2016-04-28  Simon Peyton JonesRemove unused unifyType_
2016-04-28  Simon Peyton JonesComments only
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-28  Simon Peyton JonesComments only
2016-04-28  Bartosz NitkaKill varSetElems in injImproveEqns
2016-04-28  Bartosz NitkaExpand the comment on pprVarSet
2016-04-27  Joachim BreitnerImplement the state hack without modifiyng OneShotInfo
2016-04-26  Bartosz NitkaKill varSetElems in markNominal
2016-04-26  Bartosz NitkaKill varSetElems try_tyvar_defaulting
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Bartosz NitkaGet rid of varSetElemsWellScoped in abstractFloats
2016-04-22  Bartosz NitkaMake benign non-determinism in pretty-printing more...
2016-04-22  Bartosz NitkaRemove unused tyCoVarsOfTelescope
2016-04-22  Bartosz NitkaTypo: veraibles -> variables
2016-04-22  Bartosz NitkaFix typos: alpah -> alpha
2016-04-22  Simon Peyton JonesRefactor free tyvars on LHS of rules
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-22  Simon Peyton JonesAvoid double error on out-of-scope identifier
2016-04-22  Simon Peyton JonesA little more debug tracing
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-22  Simon Peyton JonesDo not use defaulting in ambiguity check
2016-04-22  Simon Peyton JonesImprove the behaviour of warnIf
2016-04-21  Bartosz NitkaRemove mysterious varSetElemsWellScoped in tidyFreeTyCoVars
2016-04-20  Bartosz NitkaPoint to note about FV eta-expansion performance
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaBuild a correct substitution in dataConInstPat
2016-04-20  Bartosz NitkaKill unnecessary varSetElemsWellScoped in deriveTyData
2016-04-20  Simon Peyton JonesTighten up imports on TcTyClsDecls
2016-04-20  Simon Peyton JonesFix two buglets in 17eb241 noticed by Richard
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-20  Simon Peyton JonesTighten up imports, white space
2016-04-20  Simon Peyton JonesDefine NameSet.intersectFVs
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-04-19  Simon Peyton JonesKill dead TauTvFlavour, and move code around
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-04-19  Simon Peyton JonesRemove unused import of emptyNameEnv
2016-04-17  Tamar ChristinaResolve symlinks when attempting to find GHC's lib...
2016-04-17  David LuposchainskyAdd flag to control number of missing patterns in warnings
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-17  Tamar ChristinaAdd Windows import library support to the Runtime Linker
2016-04-15  Simon Peyton JonesImprove TcFlatten.flattenTyVar
2016-04-15  Simon Peyton JonesComments only, on Type.topSortTyVars
2016-04-15  Simon Peyton JonesRemove dead function SimplUtils.countValArgs
2016-04-15  Ben Gamariutils: Provide CallStack to expectJust
2016-04-15  Richard EisenbergIncrease an InScopeSet for a substitution
2016-04-15  Bartosz NitkaRemove some gratitious varSetElemsWellScoped
2016-04-15  Simon Peyton JonesAdjust error check for class method types
2016-04-15  Simon Peyton JonesComments only
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-14  Joachim BreitnerAdd a final demand analyzer run right before TidyCore
2016-04-14  Bartosz NitkaRemove some old commented out code in StgLint
2016-04-14  Bartosz NitkaFix typos: tyars -> tyvars
2016-04-14  Bartosz NitkaFix commented out debugging code in ByteCodeGen
2016-04-12  Richard EisenbergTeach lookupLocalRdrEnv about Exacts. (#11813)
2016-04-12  Richard EisenbergFix #11814 by throwing more stuff into InScopeSets
2016-04-12  Richard EisenbergFix #11797.
2016-04-12  Richard EisenbergFix #11811.
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables
2016-04-11  RyanGlScottFilter out invisible kind arguments during TH reification
2016-04-11  Rik SteenkampFix a closed type family error message
2016-04-10  Tamar ChristinaChange runtime linker to perform lazy loading of symbol...
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-10  Conal ElliottExport zonkEvBinds from TcHsSyn.
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-04-10  Dominik BollmannFix Template Haskell bug reported in #11809.
2016-04-08  Bartosz NitkaFix a comment: triple -> tuple
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-06  Joachim BreitnerDemand Analyzer: Do not set OneShot information (second...
next