Major refactoring of CoAxioms
[ghc.git] / compiler / typecheck / FamInst.lhs
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
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-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
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-05-26  Jose Pedro MagalhaesMerge branch 'ghc-generics'
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-26  Simon Peyton JonesDo not be so eager about loading family-instance modules
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
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-06  Simon Peyton JonesMerge master into the ghc-new-co branch
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-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-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-09-14  Ian LynaghRemove (most of) the FiniteMap wrapper
2010-09-13  Ian LynaghFix build with 6.10
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-03-20  Ian LynaghRemove LazyUniqFM; fixes trac #3880
2009-07-24  Ian LynaghRemove GHC's haskell98 dependency
2009-07-07  Manuel M T ChakravartyFIX #2677
2009-01-15  simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring
2008-11-07  Clemens FruhwirthReplace couple of fromJust with expectJust
2008-10-19  simonpj@microsoft.comComments to explain strict overlap checking for type...
2008-07-20  Thomas SchillingFix Haddock errors.
2008-05-06  Ian LynaghMake FamInst warning-free
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in FamInst
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-07  Ian LynaghConvert more UniqFM's back to LazyUniqFM's
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-06-29  Manuel M T ChakravartyOverlap check for type families
2007-05-14  Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
2007-05-02  simonpj@microsoft.comComments, plus type sigs
2006-12-07  Manuel M T ChakravartyFix family instance consistency check for home package...
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-12  Manuel M T ChakravartyOverlap check for family instances def'd in current...
2006-10-11  Simon MarlowModule header tidyup, phase 1
2006-10-10  Manuel M T ChakravartyRough matches for family instances
2006-09-20  Manuel M T ChakravartyAdding FamInstEnv & FamInst modules