More updates to Safe Haskell to implement new design (done!).
[ghc.git] / compiler / typecheck / TcInstDcls.lhs
2011-11-01  David TereiMore updates to Safe Haskell to implement new design...
2011-10-26  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-10-26  Ian LynaghMerge branch 'master' of mac:ghc/git/val32/.
2011-10-26  Ian LynaghRevert "More updates to Safe Haskell to implement new...
2011-10-25  David TereiMore updates to Safe Haskell to implement new design...
2011-10-07  Jose Pedro MagalhaesMerge branch 'fix#5464'
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-09-26  Jose Pedro MagalhaesCode cleanup.
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-26  Jose Pedro MagalhaesFix #5464: Change the way the extra bindings for the...
2011-09-26  Max BolingbrokeKind check associated type synonym defaults earlier...
2011-09-21  Simon MarlowAdd support for all top-level declarations to GHCi
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-09  Simon Peyton JonesRefactoring and code moving-around, following Max's...
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeImplement associated type defaults
2011-09-08  Jose Pedro MagalhaesFix #5464: Change the way the extra bindings for the...
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-01  Simon Peyton JonesTwo small further extensions to associated types
2011-09-01  Simon Peyton JonesAllow associated types to have fresh parameters
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-20  David TereiEnable derived but not hand crafted Typeable instances...
2011-07-20  David TereiFormat fixes
2011-07-20  David TereiFormatting fixes
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-15  Simon Peyton JonesA bit more work to to keep the right in-scope set around
2011-07-14  Ian LynaghSeparate the warning flags into their own datatype
2011-06-24  Ian LynaghMerge branch 'master' of dippy:c:/msys/1.0/home/ian...
2011-06-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-23  Simon Peyton JonesGet rid of the DFunArg type and all its works
2011-06-22  Simon Peyton JonesAdd equality superclasses
2011-06-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-22  Simon Peyton JonesRemove "silent superclass parameters"
2011-06-18  David TereiSafeHaskell: Move safe haskell flag into Overlap flag
2011-06-18  David TereiSafeHaskell: Restrict OverlappingInstances.
2011-06-11  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-11  Simon Peyton JonesIgnore UNPACK pragmas with OmitInterfacePragmas is...
2011-05-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-26  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-20  Jose Pedro MagalhaesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-20  Simon Peyton JonesSimon's fixes to the generated type instances in Generics
2011-05-19  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Dimitrios VytiniotisIntroducing:
2011-05-17  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Jose Pedro MagalhaesFix some small things broken with the last merge.
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-10  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-09  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-05  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-02  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-28  Jose Pedro MagalhaesMore code cleanup and removing old generics stuff.
2011-04-28  Jose Pedro MagalhaesRemove a lot of stuff from the old generic mechanism.
2011-04-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-20  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-04-13  unknownMerge branch 'master' of c:/code/HEAD-git/. into ghc...
2011-04-12  simonpjAdapt mkGenericDefMethBind to the new generics
2011-04-12  simonpjInitial commit for Pedro's new generic default methods
2011-02-22  simonpj@microsoft.comRestore SPECIALISE INSTANCE pragmas
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2011-01-10  simonpj@microsoft.comDo dependency analysis when kind-checking type declarations
2010-12-22  simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-21  simonpj@microsoft.comSingle-method classes are implemented with a newtype
2010-11-01  simonpj@microsoft.comFor single-method classes use newtypes
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-03  simonpj@microsoft.comFix up TcInstDcls
2010-12-02  simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-07  simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-09-24  simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic...
2010-09-15  simonpj@microsoft.comAdd quotes in error message
2010-09-15  simonpj@microsoft.comLess voluminous error when derived code doesn't typecheck
2010-09-14  simonpj@microsoft.comMove error-ids to MkCore (from PrelRules)
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-08-13  simonpj@microsoft.comComments only
2010-07-21  simonpj@microsoft.comFix inlining for default methods
2010-07-13  simonpj@microsoft.comRefactor where an error message is generated
2010-07-07  simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-05-31  simonpj@microsoft.comRobustify the treatement of DFunUnfolding
2010-05-25  simonpj@microsoft.comRefactor (again) the handling of default methods
2010-03-09  simonpj@microsoft.comFix Trac #1954: newtype deriving caused 'defined but...
next