Typos in comments only [ci skip]
[ghc.git] / compiler / typecheck /
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2017-01-17  David FeuerSplit mkInlineUnfolding into two functions
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-13  Gabor GreifSpelling fixes in non-exported data type
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-12  Simon Peyton JonesSmall refactoring in TcErrors
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2017-01-11  Edward Z. YangRevamp Backpack/hs-boot handling of type class signatures.
2017-01-11  Edward Z. YangImprove Backpack support for fixities.
2017-01-11  Edward Z. YangWarn if you explicitly export an identifier with warnin...
2017-01-11  Edward Z. YangAttach warnings to non-PVP compatible uses of signatures.
2017-01-11  Edward Z. YangSupport for using only partial pieces of included signa...
2017-01-10  Alan ZimmermanMake HsIParamTy have a Located HsIPName
2017-01-09  Gabor GreifTypos in comments (and in a test)
2017-01-09  Simon Peyton JonesFix zonk_eq_types in TcCanonical
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
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
next