Bump array submodule
[ghc.git] / compiler / iface /
2017-02-03  Sylvain HenryDitch static flags
2017-02-02  Matthew PickeringMake interface loading for COMPLETE pragmas lazy
2017-02-01  Luke MaurerJoin points
2017-01-30  Matthew PickeringPrint COMPLETE pragmas in --show-iface
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-23  Simon Peyton JonesImprove pretty-printing of IfaceCoercions
2017-01-22  Edward Z. YangRewrite Backpack comments on never-exported TyThings.
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-11  Edward Z. YangImprove coment in typecheckIfacesForMerging.
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. YangSupport for using only partial pieces of included signa...
2016-12-16  Ben GamariVerify that known-key uniques fit in interface file
2016-12-13  John Leoprint * in unicode correctly (fixes #12550)
2016-12-13  Edward Z. YangFix recompilation detection when set of signatures...
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-28  Simon Peyton JonesComments only (related to #12789)
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-25  Simon Peyton JonesKill off ifaceTyVarsOfType
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-21  Gabor GreifA few typos in comments
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-31  Gabor GreifTypos in comments
2016-10-26  Matthew PickeringRefine ASSERT in buildPatSyn for the nullary case.
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
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  Edward Z. YangCompute export hash based on ALL transitive orphan...
2016-10-18  Edward Z. YangTrack dep_finsts in exports hash, as it affects downstr...
2016-10-14  Ben GamariImprove find_lbl panic message
2016-10-14  Ben GamariMkIface: Turn a foldr into a foldl'
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
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-09-03  Gabor GreifFix comment about result
2016-09-02  Edward Z. YangFix #10923 by fingerprinting optimization level.
2016-08-31  Ben GamariLoadIFace: Show known names on inconsistent interface...
2016-08-22  Edward Z. YangExtra comments, as per SPJ in #12035.
2016-08-21  Edward Z. YangWhen a value Id comes from hi-boot, insert noinline...
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-21  Edward Z. YangAxe initIfaceTc, tie the knot through HPT (or if_rec_ty...
2016-08-21  Edward Z. YangAnnotate initIfaceCheck with usage information.
2016-08-03  Matthew PickeringRemove `setUnfoldingInfoLazily`
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-20  Ben GamariRevert "Clean up interaction between name cache and...
2016-07-20  Ben GamariClean up interaction between name cache and built-in...
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy
2016-07-16  Ben GamariIfaceEnv: Only check for built-in OccNames if mod is...
2016-07-05  Bartosz NitkaUse DVarEnv for vectInfoVar
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-30  Simon Peyton JonesFix pretty-printer for IfaceCo
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-24  Simon Peyton JonesComments around invisibility
2016-06-24  Simon Peyton JonesImprove typechecking of instance defaults
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-09  Edward Z. YangFix #12064 by making IfaceClass typechecking more lazy.
2016-06-07  Bartosz NitkaMake vectInfoParallelVars a DVarSet
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-06  Bartosz NitkaUse UniqDFM for HomePackageTable
2016-06-04  Ben GamariPrelInfo: Ensure that tuple promoted datacon names...
2016-06-03  Bartosz NitkaDocument putSymbolTable determinism
2016-06-03  Bartosz NitkaMake FieldLabelEnv a deterministic set
2016-06-02  Bartosz NitkaSerialize vParallelTyCons in a stable order
2016-06-02  Bartosz NitkaLocalize orphan-related nondeterminism
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-18  Bartosz NitkaKill varEnvElts in tcPragExpr
2016-05-12  Edward Z. YangDon't prematurely force TyThing thunks with -ddump...
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Simon Peyton JonesAdd Outputable ShowHowMuch
2016-03-29  Joachim BreitnerRename isNopSig to isTopSig
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-11  Ben GamariMove getOccFS to Name
2016-03-05  Rik SteenkampFix printing of an `IfacePatSyn`
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-19  Ömer Sinan AğacanFix IfaceType generation for TyCons without TyVars
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
next