Yet another major refactoring of the constraint solver
[ghc.git] / compiler / typecheck / TcInstDcls.lhs
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-26  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-26  Simon Peyton JonesDo not generate derived instances in TH brackets
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMove free-var info from InstDecl to FamInstDecl
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-20  Simon Peyton JonesDo SCC on instance declarations (fixes Trac #5715)
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-12  Paolo CapriottiFix instance signature error message (#6001)
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-27  Simon Peyton JonesMerge with HEAD
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-22  Simon Peyton JonesRefactor HsDecls.TyClDecl to extract the type HsTyDefn...
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Ian LynaghImplement the CTYPE pragma; part of the CApiFFI extension
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-06  Simon Peyton JonesRefactor HsDecls again, to put family instances in...
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-19  Ian LynaghRemove getDOpts; use getDynFlags instead
2012-01-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-18  Simon Peyton JonesDo not inherit "SPECIALISE instance" for INLINE default...
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-23  Simon Peyton JonesFix an outright bug in the implementation of default...
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-12  Simon Peyton JonesAllow type signatures in instance decls (Trac #5676)
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-30  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesRefactor (again) the treatment of record-selector bindings
2011-11-27  Simon Peyton JonesComments and white space only
2011-11-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Jose Pedro MagalhaesMove mkPiTypes back to Type, rename mkForAllArrowKinds...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
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-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-18  David TereiSafeHaskell: Move safe haskell flag into Overlap flag
next