Merge master into the ghc-new-co branch
[ghc.git] / compiler / typecheck / TcRnTypes.lhs
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
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  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
2010-02-10  simonpj@microsoft.comComments only
2009-11-30  Simon MarlowCheck whether the main function is actually exported...
2009-09-10  simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-08-26  Isaac Dupreeremove Haddock-lexing/parsing/renaming from GHC
2009-07-23  simonpj@microsoft.comFix Trac #3012: allow more free-wheeling in standalone...
2009-07-16  Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances...
2009-07-07  Ian LynaghRemove unused imports
2009-07-06  simonpj@microsoft.comMajor patch to fix reporting of unused imports
2009-04-27  Manuel M T ChakravartyEquality constraint solver is now externally pure
2009-01-30  simonpj@microsoft.comFix Trac #2985: generating superclasses and recursive...
2008-12-11  Thomas SchillingComments only. Haddockify parts of TcRnTypes.
2008-10-30  simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
2008-10-28  simonpj@microsoft.comFix Trac #2723: keep track of record field names in...
2008-10-15  simonpj@microsoft.comComments only
2008-10-02  simonpj@microsoft.comComments only
2008-09-07  Manuel M T ChakravartyType families: new algorithm to solve equalities
2008-08-11  simonpj@microsoft.comMake comparison on equalities work right (ie look at...
2008-07-20  Thomas SchillingFix Haddock errors.
2008-07-20  Ian LynaghAdd a WARNING pragma
2008-06-06  Ian LynaghFix warnings in TcRnTypes
2008-05-28  Simon MarlowUse MD5 checksums for recompilation checking (fixes...
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TcRnTypes
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-07  Ian LynaghConvert more UniqFM's back to LazyUniqFM's
2008-01-18  simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland
2007-11-22  Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints
2007-11-21  simonpj@microsoft.comMake rebindable do-notation behave as advertised
2007-11-06  simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
2007-10-27  simonpj@microsoft.comAn implication constraint can abstract over EqInsts
2007-10-10  Dan LicataView patterns, record wildcards, and record puns
2007-09-15  Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-11  simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty...
2007-09-06  Manuel M T ChakravartyEqInst related clean up
2007-09-04  Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03  Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01  Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-28  Manuel M T ChakravartyType checking for type synonym families
2007-08-26  Ian LynaghCheck that exported modules were actually imported...
2007-07-17  andy@galois.comAdding pushing of hpc translation status through hi...
2007-06-21  LemmihAdd several new record features
2007-05-02  simonpj@microsoft.comImprove error reporting for type signatures
2006-12-11  simonpj@microsoft.comMore refactoring of constraint simplification
2006-11-24  simonpj@microsoft.comGather constraints in program order
2006-11-23  simonpj@microsoft.comSimplify TcSimplify, by removing Free
2006-11-22  simonpj@microsoft.comRetain simplifications of implication constraints
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-18  Manuel M T ChakravartyCross-module consistency check for family instances
2006-10-13  simonpj@microsoft.comMore refactoring in RnNames
2006-10-13  Manuel M T ChakravartyKeep track of family instance modules
2006-10-11  simonpj@microsoft.comMake Inst into a record type to ease subsequent changes
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-11  Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10  Manuel M T ChakravartyRough matches for family instances
2006-10-05  davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big...
2006-09-19  bjorn@bringert.netFixed source location and instance origin in stand...
2006-09-29  simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29  simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-20  Manuel M T ChakravartyBasic set up for global family instance environment
2006-09-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-11  simonpj@microsoft.comTwo more error message indendations
2006-07-25  Simon MarlowGeneralise Package Support
2006-07-24  Simon MarlowIn interface files, store FastStrings rather than OccNa...
2006-04-18  simonpj@microsoft.comComment only
2006-04-07  Simon MarlowReorganisation of the source tree