ghc: allow --show-options and --interactive together
[ghc.git] / compiler / typecheck / TcDeriv.lhs
2014-11-21  Lennart Kolmodinghc: allow --show-options and --interactive together
2014-11-21  Alan ZimmermanAST changes to prepare for API annotations, for #9628
2014-11-21  Joachim BreitnerRewrite Note [Deriving any class]
2014-11-21  Jose Pedro MagalhaesImplement #5462 (deriving clause for arbitrary classes)
2014-11-20  Jan StolarekSplit SynTyCon to SynonymTyCon and FamilyTyCon
2014-11-04  Simon Peyton JonesRefactor the treatment of lexically-scoped type variabl...
2014-11-04  Simon Peyton JonesRefactor skolemising, and newClsInst
2014-11-04  Simon Peyton JonesWhite space only
2014-11-04  Simon Peyton JonesSome refactoring around endPass and debug dumping
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-10-18  Michael KargRemove obsolete Data.OldTypeable (#9639)
2014-09-26  Simon Peyton JonesDefer errors in derived instances
2014-09-19  Krzysztof GogolewskiTypos
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-07-31  Simon Peyton JonesComments and minor refactoring
2014-07-25  Simon Peyton JonesRefactor FFI error messages
2014-07-24  Simon Peyton JonesUse the right kinds on the LHS in 'deriving' clauses
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-06-30  Iavor S. DiatchkiOverlapable pragmas for individual instances (#9242)
2014-06-27  Simon Peyton JonesMore allDistinctTyVars from TcDeriv to Type
2014-05-26  Simon Peyton JonesFix yet another bug in 'deriving' for polykinded classe...
2014-05-15  Simon Peyton JonesRefactoring around TyCon.isSynTyCon
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-06  Simon Peyton JonesFix Trac #9071, an egregious bug in TcDeriv.inferConstr...
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-13  Dr. ERDI GergoInstead of tracking Origin in LHsBindsLR, track it...
2014-04-07  Simon Peyton JonesDerive Typable for promoted data constructors (Trac...
2014-04-04  Richard EisenbergWith AutoDeriveTypeable, derive for promoted constructo...
2014-03-25  Simon Peyton JonesComments only
2014-03-23  Gabor GreifCatch a bunch of typos in comments
2014-03-23  Simon Peyton JonesApply the kind subst to the (kinds of the) quanitifed...
2014-03-17  Simon Peyton JonesMore debug info
2014-03-10  Simon Peyton JonesUnify, rather than match, in GND processing (fixes...
2014-03-07  Simon Peyton JonesMake -XDeriveFunctor more generous about non-last argum...
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-02-09  Richard EisenbergFix #8758 by assuming RankNTypes when checking GND...
2014-02-09  Richard EisenbergFix #8631.
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-16  Krzysztof GogolewskiTypos in comments
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-03  Simon Peyton JonesUse the GlobalRdrEnv when renaming the axuiliary bindin...
2013-12-04  Joachim BreitnerMore detailed error message when GND fails
2013-12-03  Joachim BreitnerElaborate "deriving" error messages
2013-12-03  Joachim BreitnerRefactor: Origin of inferred Thetas
2013-12-02  Gabor GreifSome popular typos in comments
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
2013-12-02  Joachim BreitnerWith GND, report Coercible errors earliy
2013-12-02  Joachim BreitnerTcDeriv: s/isomorphism/coercible
2013-11-25  Joachim BreitnerIn toHsType, filter out kind variables
2013-11-22  Joachim BreitnerUse bindLocalNamesFV in rn_inst_info
2013-11-22  Joachim BreitnerUse newTyConInstRhs in coerce’d GND
2013-11-22  Richard EisenbergImplement GeneralizedNewtypeDeriving in terms of `coerce`.
2013-11-18  Simon Peyton JonesImprove the 'deriving' code for polykinded data types
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Richard EisenbergChange GeneralizedNewtypeDeriving safety check.
2013-09-20  Simon Peyton JonesImprove error message for deriving polykinded Typeable...
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-28  Richard EisenbergImprove error messages for roles by writing role names out
2013-08-14  Jan StolarekComparison primops return Int# (Fixes #6135)
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-17  Simon Peyton JonesEmit addUsedRdrNames for the datacons in a standalone...
2013-06-05  Krzysztof GogolewskiFix panic on deriving a nullary typeclass (#7959)
2013-05-30  Simon Peyton JonesEta-reduce data/newtype family instance axioms (Trac...
2013-05-21  Jose Pedro MagalhaesFix #5863
2013-05-21  Jose Pedro MagalhaesMake AutoDeriveTypeable derive Typeable instances for...
2013-05-07  Jose Pedro MagalhaesAllow deriving Typeable for more tycons
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-09  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-09  Simon Peyton JonesSlight tidy-up to Pedro's work on Typeable
2013-03-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-08  Jose Pedro MagalhaesDo not generate duplicate instances with AutoDeriveTypeable
2013-03-08  Jose Pedro MagalhaesProperly instantiate the kind of the tycon when derivin...
2013-02-28  Gabor GreifTypo
2013-02-21  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-21  Jose Pedro MagalhaesFix #7710: do not AutoDeriveTypeable for synonyms and...
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Jose Pedro MagalhaesImplement poly-kinded Typeable
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
2013-01-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-04  Simon Peyton JonesSwitch on -XEmptyCase when renaming derived declarations
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesDefine ListSetOps.getNth, and use it
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesRefactor the invariants for ClsInsts
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next