Document SCC determinism
[ghc.git] / compiler / typecheck /
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Bartosz NitkaFix typos
2016-05-10  Bartosz NitkaGet rid of Traversable UniqFM and Foldable UniqFM
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesComments only
2016-05-10  Bartosz NitkaMake simplifyInstanceContexts deterministic
2016-05-10  Bartosz NitkaKill unnecessary cmpType in lhs_cmp_type
2016-05-10  Simon Peyton JonesRe-do the invariant for TcDepVars
2016-05-10  Simon Peyton JonesTidy up partial-sig quantification
2016-05-10  Simon Peyton JonesFix partial sigs and pattern bindings interaction
2016-05-10  Simon Peyton JonesComments only
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-05-10  Simon Peyton JonesWhite space only
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-05-06  Simon Peyton JonesUse tcExtendGlobalValEnv for default methods
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-01  Bartosz NitkaRemove unused getScopedTyVarBinds
2016-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-29  Bartosz NitkaFix typo: Superclases -> Superclasses
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
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  Bartosz NitkaKill varSetElems in injImproveEqns
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 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-20  Bartosz NitkaRename FV related functions
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-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-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-15  Simon Peyton JonesImprove TcFlatten.flattenTyVar
2016-04-15  Bartosz NitkaRemove some gratitious varSetElemsWellScoped
2016-04-15  Simon Peyton JonesAdjust error check for class method types
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-14  Bartosz NitkaFix typos: tyars -> tyvars
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  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-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-04-05  Simon Peyton JonesUse exprCtOrigin in tcRnExpr
2016-04-04  Eric SeidelDon't infer CallStacks
2016-04-04  Simon Peyton JonesDeeply instantiate in :type
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesSmall refactor of TcMType.tauifyExpType
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-31  Simon Peyton JonesMinor refactoring in mkExport
2016-03-31  Simon Peyton JonesComments only
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Bartosz NitkaBuild correct substitution in instDFunType
2016-03-29  Bartosz NitkaUse a correct substitution in tcInstType
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-25  Simon Peyton JonesAn extra traceTc in tcExpr for ExprWithSig
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-03-22  Richard EisenbergAvoid running afoul of the zipTvSubst check.
2016-03-21  Richard EisenbergComments (only) in TcFlatten
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergComment a suspicious zonk in TcFlatten.
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Csongor Kisstypechecker: fix trac issue #11708
next