Major refactoring of CoAxioms
[ghc.git] / compiler / typecheck / TcRnTypes.lhs
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisVery small tweaks to pave the way for solving kind...
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-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisReintroducing isReflCo optimization: invariant
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisImplemented -dsuppress-var-kinds flag to remove silly...
2011-11-28  Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-22  Simon Marlowmerge
2011-11-18  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-18  Simon MarlowTrack #included files for recompilation checking (...
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  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-06  Ian LynaghMerge branch 'dependent7' of https://github.com/gregweb...
2011-11-05  Greg WeberaddDependentFile #4900
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-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-09-29  Simon Peyton JonesA tiny bit more debug info
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-21  Simon Marlowmove AvailInfo and related things into its own module
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-06  Max BolingbrokeImplement -XConstraintKind
2011-09-01  Simon Peyton JonesFix the trimming of bind_fvs (fixes Trac #5439)
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
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  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-20  Simon MarlowFix #481: use a safe recompilation check when Template...
2011-06-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-30  David TereiSafeHaskell: Improve comments in code.
2011-06-30  David TereiSafeHaskell: Fix trust check for when safe module imports
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-18  David TereiSafeHaskell: Transitively check safety when compiling...
2011-06-18  David TereiSafeHaskell: Add safe import flag (not functional)
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
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-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-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-05  Simon Peyton JonesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Simon Peyton JonesMerge branch monad-comp onto master
2011-05-04  Simon Peyton JonesMerge commit
2011-05-04  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
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  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
2011-04-28  Simon Peyton JonesPreliminary monad-comprehension patch (Trac #4370)
2011-04-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-27  U-EUROPE\dimitrisMerge branch 'master' of darcs.haskell.org/ghc
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-26  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-04-26  David TereiFormatting wibble
2011-04-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-04-20  Simon Peyton JonesTidy up SigTv
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-02-20  Manuel M T ChakravartyAdded a VECTORISE pragma
2011-02-17  simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-02-09  simonpj@microsoft.comTypo in comment
2011-01-13  simonpj@microsoft.comWhite space only
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-02  Simon MarlowFix a recomp bug: make classes/datatypes depend directl...
2010-11-12  simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-22  simonpj@microsoft.comAdd rebindable syntax for if-then-else
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-07  simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-10-06  simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch
2010-09-19  simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ...
2010-09-17  simonpj@microsoft.comRefactor type errors a bit
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-03-20  Ian LynaghRemove LazyUniqFM; fixes trac #3880
next