Permit empty closed type families
[ghc.git] / compiler / typecheck /
2015-05-04  Adam GundryPermit empty closed type families
2015-05-01  Simon Peyton JonesKill off the default types in ghc-prim
2015-05-01  Simon Peyton JonesMake Derived NomEq rewrite only Derived NomEq
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-30  Gabor GreifTypo fixes (mostly in comments)
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-29  Simon Peyton JonesDon't print evidence in TcFlatten
2015-04-29  Simon Peyton JonesA little outright bug in canEqTyVar2
2015-04-24  Richard EisenbergChange default roles in hs-boot files. (#9204)
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Simon Peyton JonesImprove error reporting for impredicative types
2015-04-22  Simon Peyton JonesComments only
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-22  Edward Z. YangFix #10182 by disallowing/avoiding self {-# SOURCE...
2015-04-22  Simon Peyton JonesFix the boot dfun impedence-matching binding
2015-04-17  Edward Z. YangComments only.
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-16  Iavor S. DiatchkiAdd exception for `KnownNat` and `KnownSymbol` in super...
2015-04-15  Simon Peyton JonesFix fundep coverage-condition check for poly-kinds
2015-04-14  Simon Peyton JonesDo not allow Typeable on constraints (Trac #9858)
2015-04-14  Simon Peyton JonesComments and white space only
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-04-09  Simon Peyton JonesComments in rejigConRes
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-04-07  Simon Peyton JonesPut quotes round a Name in an error message
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-04-01  Edward Z. YangIndentation only.
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-19  Iavor S. DiatchkiMerge branch 'master' of git://git.haskell.org/ghc
2015-03-19  Iavor S. DiatchkiImprove `Typeable` solver.
2015-03-18  Gabor GreifTypos in comments
2015-03-17  Simon Peyton JonesRefactor the extra-deps stuff for hs-boot
2015-03-16  Thomas MiedemaDont call unsafeGlobalDynFlags if it is not set
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-07  Herbert Valerio... Re-export `<$>` from Prelude (#10113)
2015-03-04  Simon Peyton JonesCheck for equality before deferring
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2015-03-04  Simon Peyton JonesSome minor refactoring in TcHsType
2015-03-02  Gabor GreifTypos in non-code
2015-03-02  Thomas MiedemaShow record construction/update without parens
2015-03-02  Simon Peyton JonesTwo kind-polymorphism fixes (Trac #10122)
2015-03-02  Simon Peyton JonesComments only
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-03-02  Simon Peyton JonesComments only
2015-02-23  Thomas MiedemaShow '#' on unboxed literals
2015-02-23  Jan BrackerFix for ticket #10078: ensure that tcPluginStop is...
2015-02-23  Thomas MiedemaError out on `Main` without `main` in GHCi (#7765)
2015-02-20  Simon Peyton JonesComments only
2015-02-20  Simon Peyton JonesComments only
2015-02-20  Simon Peyton JonesComments only
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-19  Simon Peyton JonesComments only
2015-02-19  Thomas WinantFix #10045
2015-02-18  Gabor GreifTypo in function name
2015-02-15  Simon Peyton JonesImprove typechecking of RULEs, to account for type...
2015-02-13  Simon Peyton JonesRefactor decideQuantification
2015-02-12  Simon Peyton JonesTiny refactoring; no change in behaviour
2015-02-12  Simon Peyton JonesComments and white space; plus structurally avoiding...
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-02-11  Richard EisenbergFix egregious typo in checkTauTvUpdate.
2015-02-11  Richard EisenbergFix #10079 by recurring after flattening exposes a...
2015-02-11  Simon Peyton JonesnameIsLocalOrFrom should include interactive modules
2015-02-10  Simon Peyton JonesAdd a couple of tcTraces around reify
2015-02-10  Simon Peyton JonesMore comments and white space
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-02-06  Simon Peyton JonesFix the nullary-type-class case for associated types
2015-02-05  Alexander VershilovMake -ddump-splices output to stdout (fixes #8796)
2015-02-05  Oleg GrenrusAdd packageName to GHC.Generics.Datatype
2015-01-28  Edward Z. YangUse strict atomicModifyIORef' (added in GHC 7.6).
2015-01-28  Simon Peyton JonesImprove error message on typed holes, and user manual...
2015-01-27  Richard EisenbergFix #10031 by inverting a critical test in kick_out.
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Simon Peyton JonesSome simplification and refactoring of FunDeps
2015-01-20  Dr. ERDI GergoCosmetic: Fix all uses of the word 'worker' when referr...
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-19  Simon Peyton JonesTidy up fix to Trac #9999
2015-01-19  Jose Pedro MagalhaesMake AutoDeriveTypeable work for associated datatypes...
2015-01-19  Simon Peyton JonesAdd missing argument in Match, a merge bug (apologies)
2015-01-19  Simon Peyton JonesFix the 'builder' code for pattern synonyms with type...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-16  Simon Peyton JonesFix a terrible bug in the canonicaliser which led to...
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-14  Simon Peyton JonesTiny refactoring (shorter, simpler code)
2015-01-14  Simon Peyton JonesTighten up constraint solve order for RULES
2015-01-13  Greg Weberadd -th-file which generates a th.hs file
2015-01-09  Edward Z. YangNewtype CoreMap and TypeMap so their keys are user...
2015-01-09  Simon Peyton JonesFix Trac #9973 (buglet in -fwarn-redundant-constraints)
2015-01-09  Dr. ERDI GergoPattern synonym names need to be in scope before renami...
2015-01-09  Simon Peyton JonesA little tidying up in the flattener
2015-01-09  Simon Peyton JonesMake TcRnMonad.reportWarning call makeIntoWarning
2015-01-08  Edward Z. YangAdd 'DeBruijn' constructor, which generalizes "key...
2015-01-08  Simon Peyton JonesImprove HsBang
2015-01-06  Simon Peyton JonesMake comments less beautiful in order to pacify Haddock
2015-01-06  Simon Peyton JonesTest Trac #9939
next