Make TypeError a newtype, add changelog entry
[ghc.git] / compiler /
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-02-02  Simon MarlowRemote GHCi: parallelise BCO serialization
2016-02-02  Simon MarlowRemote GHCi: batch the creation of strings
2016-02-02  Simon MarlowRemote GHCi: Optimize the serialization/deserialization...
2016-02-02  Ömer Sinan AğacanTyCoRep: Implement some helpers for dropping/checking...
2016-02-01  Adam GundryAvoid mangled/derived names in GHCi autocomplete (fixes...
2016-02-01  Oleg GrenrusAdd some Outputable instances
2016-02-01  Herbert Valerio... Implement basic uniform warning set tower
2016-02-01  Eric SeidelHide the CallStack implicit parameter
2016-02-01  Edward Z. YangSimplify ghc-boot database representation with new...
2016-02-01  Bartosz NitkaSuppress substitution assertions to fix tests
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-29  Thomas MiedemaFix the Windows build
2016-01-28  Bartosz NitkaUse the in_scope set in lint_app
2016-01-27  Simon Marlowfix validate breakage
2016-01-27  Simon MarlowRemote GHCi: create cost centre stacks in batches
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-27  Reid BartonTest for undef bugs in the LLVM backend when validating
2016-01-27  Simon BrennerRestore original alignment for info tables
2016-01-27  Benjamin Bykowskighci: fix trac issue #11481
2016-01-27  Gabor GreifTypos in comments
2016-01-27  Bartosz NitkaFix a typo in the note name in comments
2016-01-27  Tamar ChristinaEnable RemoteGHCi on Windows
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-26  Bartosz NitkaPass InScopeSet to substTy in lintTyApp
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-26  Simon Peyton JonesWhite space only
2016-01-26  Simon Peyton JonesLess verbose output for the in-scope set
2016-01-25  Ben GamariImplement -Wunrecognised-warning-flag
2016-01-25  Herbert Valerio... Rename -Wmissing-monadfail-instance to plural-form
2016-01-25  Ben GamariHscTypes: Fix typo in comment
2016-01-25  Simon Peyton JonesFix exprIsHNF (Trac #11248)
2016-01-25  Simon Peyton JonesImprove tracing in checkValidInstance
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-24  Herbert Valerio... Implement `-Wnoncanonical-monadfail-instances` warning
2016-01-24  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-23  Reid BartonDon't add ticks around type applications (#11329)
2016-01-23  Ben GamariRemove -Wredundant-superclasses from standard warnings
2016-01-23  Reid BartonGive a more verbose error message when desugaring a...
2016-01-22  Jonas SchollDo not count void arguments when considering a function...
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-21  Joachim BreitnerImprove comments in CmmSwitch
2016-01-21  Ben GamariTyCoRep: Restore compatibility with 7.10.1
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-21  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-01-21  Simon Peyton JonesImprove pretty-printing of UnivCo
2016-01-21  Simon Peyton JonesComments only
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-21  Simon Peyton JonesComments only
2016-01-21  Simon Peyton JonesAdd comments about tyCoVarsOfType
2016-01-21  Ben GamariMkId: Update OpenKind reference
2016-01-20  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-20  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-20  Simon Peyton JonesOops. Add missing close-comment
2016-01-20  Simon Peyton JonesFix combineIdenticalAlts
2016-01-19  Ömer Sinan AğacanFix IfaceType generation for TyCons without TyVars
2016-01-19  Simon MarlowRe-export ghc-boot:GHC.Serialized as Serialized
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Ben GamariHide derived OccNames from user
2016-01-18  Edward Z. YangSwitch from -this-package-key to -this-unit-id.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesTypo in comment
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesAdd Trac #11427 to Note [Recursive superclasses]
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesImprove debug printing/warnings
2016-01-18  Simon Peyton JonesWhite space only
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-18  Simon Peyton JonesLayout only
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-16  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergFix typo in error message (#11409)
2016-01-15  Richard EisenbergTiny refactoring in TcUnify
2016-01-15  Richard EisenbergFix #11404
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11254.
2016-01-15  Richard EisenbergFix #11311
2016-01-15  Richard EisenbergFix #10872.
2016-01-15  Richard EisenbergFix #11355.
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  Matthew PickeringAllow pattern synonyms which have several clauses.
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-15  Peter TrommlerLink command line libs to temp so
2016-01-15  Edward Z. YangFix #11015 with a nice note.
2016-01-14  Alan ZimmermanAPI Annotations: use AnnValue for (~)
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
next