Major refactoring of CoAxioms
[ghc.git] / compiler / typecheck / TcEnv.lhs
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
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-22  Simon Marlowmerge
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-31  Manuel M T ChakravartyTabs -> spaces
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesMove tcLookupFamInst, tcLookupDataFamInst from TcEnv...
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 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-06  Max BolingbrokeImplement -XConstraintKind
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 TereiFormat fixes
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-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
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 JonesThe final batch of changes for the new coercion represe...
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-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  simonpjInitial commit for Pedro's new generic default methods
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-15  simonpj@microsoft.comImprove printing for -ddump-deriv
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-08-20  dimitris@microsoft.comMinor
2010-03-09  simonpj@microsoft.comFix Trac #1954: newtype deriving caused 'defined but...
2010-02-10  simonpj@microsoft.comImprove error dump in TcEnv
2010-02-10  simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
2009-09-11  simonpj@microsoft.comWibble to error message
2009-09-10  simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-08-20  simonpj@microsoft.comImprovements to record puns, wildcards
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-10  Manuel M T ChakravartyTFs: Fix should_compile/Simple8
2009-07-07  Ian LynaghRemove unused imports
2009-01-02  simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-31  simonpj@microsoft.comFix Trac #2856: make deriving work for type families
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-03  simonpj@microsoft.comFix warnings
2008-10-03  simonpj@microsoft.comExpunge ThFake, cure Trac #2632
2008-08-11  simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion
2008-07-31  Max BolingbrokeMinor refactorings in TcEnv
2008-07-01  simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378
2008-06-10  Ian LynaghFix warnings in TcEnv
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TcEnv
2008-04-02  simonpj@microsoft.comFix Trac #2141: invalid record update
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-01-17  Twan van LaarhovenMonadify typecheck/TcEnv: use do, return, applicative...
2007-11-06  simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
2007-10-10  Dan LicataView patterns, record wildcards, and record puns
2007-10-10  simonpj@microsoft.comcheckWellStaged: reverse comparsion (no change in seman...
2007-09-05  simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
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-06-25  simonpj@microsoft.comPrint infix type constructors in an infix way
2007-05-23  simonpj@microsoft.comIn GHCi, bind identifiers at TH level 'impLevel'
2007-05-14  Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
2007-05-11  Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-10  Michael D. AdamsWarning fix for unused and redundant imports
2007-04-25  Manuel M T ChakravartyGenerating synonym instance representation tycons
2007-01-11  simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2007-01-04  Manuel M T ChakravartyFix and improve deriving for indexed data types
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-18  Manuel M T ChakravartyDeriving for indexed data types
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
next