Move typeSize/coercionSize into TyCoRep
[ghc.git] / compiler / typecheck /
2016-12-21  Simon Peyton JonesTest Trac #12968, plus some comments
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. YangFix Haddock comment typo.
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-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-12-17  Ben GamariRevert "Do not init record accessors as exported"
2016-12-16  Ben GamariCLabel: Kill redundant UnitId argument from labelDynamic
2016-12-16  Gabor GreifTypos in comments
2016-12-15  Ryan ScottWarn about missing instance methods that start with...
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-12-14  Edward Z. YangLoad orphan interfaces before checking if module implem...
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-12  Simon Peyton JonesMake dropDerivedSimples restore [WD] constraints
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-12-09  Ryan ScottRename TH constructors for deriving strategies
2016-12-09  Ryan ScottDisambiguate reified closed type family kinds in TH
2016-12-08  Edward Z. YangReduce qualification in error messages from signature...
2016-12-08  Edward Z. YangSetup tcg_imports earlier during signature matching...
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
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
next