Make equality print better. (#11712)
[ghc.git] / compiler /
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-21  Richard EisenbergAdd two small optimizations. (#11196)
2016-03-21  Richard EisenbergTypeApplications does not imply AllowAmbiguousTypes
2016-03-21  Richard EisenbergFix exponential algorithm in pure unifier.
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-21  Bartosz NitkaRemove unnecessary Ord instance for ConLike
2016-03-21  Bartosz NitkaDelete a misleading comment in TyCon
2016-03-20  Ben GamariDsExpr: Don't build/foldr huge lists
2016-03-20  Ben GamariDwarf: Add support for labels in unwind expressions
2016-03-20  Ben GamariPrelRules: Fix constant folding for WordRemOp
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Csongor Kisstypechecker: fix trac issue #11708
2016-03-17  Richard EisenbergFix #11711.
2016-03-16  Erik de Castro LopoDriverPipeline: Fix 'unused arguments' warnings from...
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergFix #11357.
2016-03-15  Richard EisenbergRemove redundant anonymiseTyBinders (#11648)
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergExpand Note [Non-trivial definitional equality]
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-15  Richard EisenbergFix #11401.
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2016-03-14  mniipFix the name of the Word16ElemRep wired-in datacon
2016-03-12  Erik de Castro LopoLlvmCodeGen: Fix generation of malformed LLVM blocks
2016-03-12  Ben GamariSimplify: Make generated names more useful
2016-03-11  Simon MarlowAdd -foptimal-applicative-do
2016-03-11  Ben GamariMove getOccFS to Name
2016-03-11  Ben GamariHandle unset HOME environment variable more gracefully
2016-03-11  Ben GamariAdd MonadUnique instance for LlvmM
2016-03-11  Owen StephensAdd Note [Running splices in the Renamer]
2016-03-11  Edward Z. YangFix #11624, cannot declare hs-boot if already one in...
2016-03-10  Sergei Trofimovichfix Float/Double unreg cross-compilation
2016-03-09  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-03-09  Simon Peyton JonesFix the implementation of lazyId
2016-03-08  Sergei TrofimovichSplit external symbol prototypes (EF_) (Trac #11395)
2016-03-07  Erik de Castro LopoGhcMake: Clang/ASSERT fix
2016-03-06  Sergei TrofimovichFix minimum alignment for StgClosure (Trac #11395)
2016-03-05  Adam GundryDrop module qualifier from punned record fields (#11662)
2016-03-05  Rik SteenkampFix printing of an `IfacePatSyn`
2016-03-05  Jason EisenbergGHCi: Fix load/reload space leaks (#4029)
2016-03-04  Ben GamariSimplEnv: Add Haddock headings to export list
2016-03-04  Ben GamariAdd Monoid instance for FastString
2016-03-02  Simon Peyton JonesUse tyConArity rather than (length tvs)
2016-03-02  Simon Peyton JonesFix an outright bug in expandTypeSynonyms
2016-03-01  Simon Peyton JonesDon't complain about unused Rule binders
2016-03-01  Simon Peyton JonesRemove unnecessary isTyVar tests in TcType
2016-03-01  Simon Peyton JonesA bit more tracing in TcHsType.tcTyVar
2016-03-01  Simon Peyton JonesComments only
2016-03-01  Simon Peyton JonesDo not check synonym RHS for ambiguity
2016-02-29  Ben GamariDynFlags: Add -Wredundant-constraints to -Wall
2016-02-29  Rik SteenkampRefactor `warnMissingSignatures` in `RnNames.hs`
2016-02-27  Herbert Valerio... Default to -fno-show-warning-groups (re #10752)
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Print which flag controls emitted SafeHaskell warnings
2016-02-27  Herbert Valerio... Annotate `[-Wredundant-constraints]` in warnings (re...
2016-02-27  Herbert Valerio... Print which flag controls emitted lexer warnings
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-26  Simon Peyton JonesFilter out BuiltinRules in occurrence analysis
2016-02-26  Simon Peyton JonesFix kind generalisation for pattern synonyms
2016-02-26  Simon Peyton JonesComments and white space only
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-26  Simon Peyton JonesGet the right in-scope set in specUnfolding
2016-02-26  Simon Peyton JonesSpecial case for desugaring AbsBinds
2016-02-26  Simon Peyton JonesFix and refactor strict pattern bindings
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-26  Edward Z. YangUnconditionally handle TH known key names.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-25  Matthew PickeringImprove accuracy of suggestion to use TypeApplications
2016-02-25  Thomas MiedemaHandle multiline named haddock comments properly
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-25  Ben GamaricmpTypeX: Avoid kind comparison when possible
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-25  Manav RathiMake warning names more consistent
2016-02-25  Ömer Sinan AğacanHscMain: Delete some unused code
2016-02-25  Ben GamariApplicativeDo: Handle terminal `pure` statements
2016-02-25  Facundo DomínguezOverload the static form to reduce verbosity.
2016-02-25  Ben GamariTyCoRep: Add haddock sections
2016-02-24  Ömer Sinan AğacanRemove "use mask" from StgAlt syntax
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-23  Herbert Valerio... Follow-up to 32a9a7f514bdd33ff72a673ade
2016-02-23  Herbert Valerio... Extend `-Wunrecognised-warning-flag` to cover `-f(no...
2016-02-23  Thomas MiedemaAllow combining characters in identifiers (#7650)
2016-02-20  Simon MarlowFix a bug in ApplicativeDo (#11612)
2016-02-20  Simon MarlowRefactoring only: use ExprLStmt
2016-02-19  Thomas MiedemaModifier letter in middle of identifier is ok
2016-02-19  Thomas MiedemaDelete support for deprecated "-- # ..."-style haddock...
2016-02-19  Gabor GreifA few more typos in non-code
2016-02-18  Ben GamariUnwire Typeable representation types
2016-02-18  Simon Peyton JonesTake type-function arity into account
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-18  Simon Peyton JonesFix desugaring of bang-pattern let-bindings
2016-02-18  Ben GamariFix thinko that crept into D1908
next