Test Trac #12925
[ghc.git] / compiler / typecheck /
2016-12-05  Simon Peyton JonesUse isFamFreeTyCon now we have it
2016-12-05  Simon Peyton JonesFix used-variable calculation (Trac #12548)
2016-12-02  John LeoMaintain in-scope set in deeply_instantiate (fixes...
2016-12-01  Gabor GreifTypos in comments
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-11-29  Gabor GreifTypos in comments
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-11-28  Gabor GreifTypos in comments only [ci skip]
2016-11-25  Simon Peyton JonesBe a bit more selective about improvement
2016-11-25  Simon Peyton JonesA tiny bit more tc tracing
2016-11-25  Simon Peyton JonesFix inference of partial signatures
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-25  Simon Peyton JonesUse TyVars in a DFunUnfolding
2016-11-25  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesRemove redundant kind check
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-25  Simon Peyton JonesComments only in TcType
2016-11-25  Simon Peyton JonesFix a bug in mk_superclasses_of
2016-11-25  Simon Peyton JonesMake a panic into an ASSERT
2016-11-24  Dominik BollmannMake quoting and reification return the same types
2016-11-21  Gabor GreifA few typos in comments
2016-11-18  Matthew PickeringOptimise whole module exports
2016-11-18  Gabor GreifSpelling in comment only
2016-11-17  Facundo DomínguezHave reify work for local variables with functional...
2016-11-17  Richard EisenbergCorrect name of Note in comment
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-11  Simon Peyton JonesRevert "Refactor CallStack defaulting slightly"
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-10  Simon Peyton JonesRefactor CallStack defaulting slightly
2016-11-10  Simon Peyton JonesRefactoring of mkNewTypeEqn
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-11-06  Matthew PickeringStop -dno-debug-output suppressing -ddump-tc-trace
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-11-04  Simon Peyton JonesRemove a debug trace
2016-11-04  Simon Peyton JonesAdd comments from Trac #12768
2016-11-02  Simon Peyton JonesFix Trac #12797: approximateWC
2016-11-02  Simon Peyton JonesUse substTyUnchecked in TcMType.new_meta_tv_x
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-11-02  Simon Peyton JonesTiny refactor
2016-10-31  Gabor GreifTypos in comments
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-27  Simon Peyton JonesCollect coercion variables, not type variables
2016-10-27  Simon Peyton JonesSimple refactor to remove misleading comment
2016-10-26  Matthew PickeringRemove -dtrace-level
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-24  Simon Peyton JonesDon't instantaite when typechecking a pattern synonym
2016-10-24  Simon Peyton JonesPrioritise class-level equality costraints
2016-10-21  Simon Peyton JonesImprove TcCanonical.unifyWanted and unifyDerived
2016-10-21  Simon Peyton JonesDefine emitNewWantedEq, and use it
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesMake TcLevel increase by 1 not 2
2016-10-21  Simon Peyton JonesComments and trivial refactoring
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-10-21  Gabor GreifTypos in comments
2016-10-20  Edward Z. YangFix Mac OS X build by removing space after ASSERT.
2016-10-20  Edward Z. YangOnly delete instances when merging when there is an...
2016-10-20  Edward Z. YangSupport constraint synonym implementations of abstract...
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-18  Edward Z. YangTrack dep_finsts in exports hash, as it affects downstr...
2016-10-17  Simon Peyton JonesRe-add accidentally-deleted line
2016-10-17  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesReduce trace output slightly
2016-10-17  Simon Peyton JonesFix wrapping order in matchExpectedConTy
2016-10-17  Simon Peyton JonesCorrect order of existentials in pattern synonyms
2016-10-17  Simon Peyton JonesTypo in comment
2016-10-17  Simon Peyton JonesComments about -Wredundant-constraints
2016-10-15  Ryan ScottAdd a forward reference for a Note
2016-10-15  Ryan ScottFix Show derivation in the presence of RebindableSyntax...
2016-10-14  Ryan ScottMake error when deriving an instance for a typeclass...
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-12  Simon Peyton JonesAdd derived shadows only for Wanted constraints
2016-10-10  Simon Peyton JonesMove zonking out of tcFamTyPats
2016-10-10  Simon Peyton JonesDelete orphan where clause
2016-10-10  Simon Peyton JonesRename a parameter; trivial refactor
2016-10-10  Simon Peyton JonesOrient improvement constraints better
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-08  Edward Z. YangMake InstalledUnitId be ONLY a FastString.
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-06  Joachim BreitnerRemove dead code “mkHsConApp”
2016-10-06  Ryan ScottRefactor TcDeriv and TcGenDeriv
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-10-05  Ryan ScottBring Note in TcDeriv up to date
2016-10-02  Ryan ScottDisallow standalone deriving declarations involving...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-30  Simon Peyton JonesAdd Outputable Report in TcErrors
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-09-30  Simon Peyton JonesA bit of tracing about flattening
2016-09-28  Gabor GreifComments and manual only: spelling
next