Warn for Safe Haskell when -XOverlappingInstances or
[ghc.git] / compiler / typecheck / TcInstDcls.lhs
2014-11-06  David TereiWarn for Safe Haskell when -XOverlappingInstances or
2014-11-04  Simon Peyton JonesImprove error message for a handwritten Typeable instance
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 JonesAdd the unfolding and inline-pragma for DFuns in DsBind...
2014-11-04  Simon Peyton JonesSimplify the generation of superclass constraints in...
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-10-18  Michael KargRemove obsolete Data.OldTypeable (#9639)
2014-10-14  Jan StolarekFix comment typos: lll -> ll, THe -> The
2014-09-26  Simon Peyton JonesDefer errors in derived instances
2014-09-26  Austin Seipp[ci skip] typecheck: detabify/dewhitespace TcInstDecls
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-02  David TereiInfer safety of modules correctly with new overlapping...
2014-08-02  David TereiDont allow hand-written Generic instances in Safe Haskell.
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-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-03  Simon Peyton JonesFix inverted gadt-syntax flag for data families
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 JonesAdd a bit more typechecker tracing
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-02-09  Richard EisenbergFix #8631.
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-02  Richard EisenbergRejig rejigConRes & friends, doing role checks in a...
2013-11-22  Richard EisenbergImplement GeneralizedNewtypeDeriving in terms of `coerce`.
2013-10-18  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-18  Simon Peyton JonesComments only
2013-10-03  Richard EisenbergFix Trac #8368.
2013-10-01  unknownImprove error reporting of fundep coverage condition...
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-18  Twan van LaarhovenImplement checkable "minimal complete definitions"...
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-09-10  Simon Peyton JonesImprove error reporting for "relevant bindings" again...
2013-09-09  Patrick PalkaMerge branch 'ghc-parmake-gsoc' (#910)
2013-09-09  Jose Pedro MagalhaesRemove -fwarn-typeable-instances
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Jose Pedro MagalhaesTurn manual Typeable instances into errors; fixes ...
2013-08-04  Richard EisenbergRefactor checking for GADT-like datacons' return types
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-05-30  Simon Peyton JonesEta-reduce data/newtype family instance axioms (Trac...
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-27  Simon Peyton JonesComment typo
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
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-09  Simon Peyton JonesA bit more tidying up
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-09  Simon Peyton JonesYet more refactoring in overlapping type-family instances
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesImprove consistency checking for associated type-family...
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-28  Simon Peyton JonesMore refactoring of FamInst/FamInstEnv; finally fixes...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesRefactor and improve the promotion inference
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-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-05  Richard EisenbergRefactor invariants for FamInsts.
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesTidy the type in badInstSigErr (fixes Trac #7545)
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-02  Simon Peyton JonesIn type or data instances, check that all variables...
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
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-14  Ian LynaghRename remaining FastBytes usages to ByteString
2012-12-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-14  Simon Peyton JonesMajor refactoring of the way that UNPACK pragmas are...
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-11-16  Gabor Greiftypos in comments
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
next