Bump array submodule
[ghc.git] / compiler / typecheck /
2017-02-08  Alan ZimmermanAdd dump flags for the renamed and typechecked hsSyn...
2017-02-08  Simon Peyton JonesBack-pedal the fix for Trac #8155
2017-02-08  Gabor GreifMore typos in comments [skip ci]
2017-02-07  Gabor GreifTypos in comments [skip ci]
2017-02-07  David FeuerDerive <$
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-06  Reid BartonDon't replace type family instances with the same LHS...
2017-02-06  David FeuerAdd liftA2 to Applicative class
2017-02-03  Simon Peyton JonesUse tyCoVarsOfType for CTyEqCan in shouldSplitWD
2017-02-03  Sylvain HenryDitch static flags
2017-02-02  Gabor GreifSpelling fixes
2017-01-31  Daniel HarajUse top-level instances to solve superclasses where...
2017-01-30  Iavor S. DiatchkiFixes bug #11046
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-26  Alan ZimmermanMake type import/export API Annotation friendly
2017-01-26  Ryan ScottNix typo and redundant where-clauses
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-24  Ben Gamaritypecheck: Fix note
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2017-01-22  Edward Z. YangRewrite Backpack comments on never-exported TyThings.
2017-01-22  Edward Z. YangPreserve coercion axioms when thinning.
2017-01-22  Ryan ScottRevert "Remove unnecessary isTyVar tests in TcType"
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-20  Oleg GrenrusAdd 'type family (m :: Symbol) <> (n :: Symbol)'
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
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
next