Look through type synonyms when deciding if something is a type literal.
[ghc.git] / compiler / types / InstEnv.lhs
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-02-02  Gabor Greifspelling
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesRefactor the invariants for ClsInsts
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-01  Simon Peyton JonesMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-10-01  Simon Peyton JonesComments about silent superclasses
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-27  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-27  Simon Peyton JonesAdd silent superclass parameters (again)
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-06-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Ian LynaghChange how macros like ASSERT are defined
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-27  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into prett...
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-04-27  Simon Peyton JonesPretty printing and debug improvements
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-23  Simon Peyton JonesSort instances by location before printing them
2012-04-22  Simon Peyton JonesRespect kind-variable scoping when instantiating dfuns
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-09  Simon Peyton JonesImprove reporting of type-class errors
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-11-22  Simon Marlowmerge
2011-11-04  Ross PatersonMerge branch 'master' of darcs.haskell.org//ghc
2011-11-04  Simon Marlowbe specific when importing Data.Typeable
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-21  Simon MarlowAdd support for all top-level declarations to GHCi
2011-09-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-02  Simon Peyton JonesSome minor wibbling in printing source locations
2011-08-03  Simon Peyton JonesFix a grevious error in InstEnv: Trac #5095
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-30  David TereiSafeHaskell: Try to be consistent in naming.
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-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-18  David TereiSafeHaskell: Fix bug with overlapping instances reporti...
2011-06-18  David TereiSafeHaskell: Move safe haskell flag into Overlap flag
2011-06-18  David TereiSafeHaskell: Restrict OverlappingInstances.
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-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-19  simonpj@microsoft.comComments only
2010-12-22  simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-14  simonpj@microsoft.comInstance declaration overlap allowed if *either* has...
2010-12-14  simonpj@microsoft.comWibble to InstEnv.instanceHead
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-10-15  simonpj@microsoft.comComments and layout
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-11-24  David WaernAdd a note saying what Haddock relies on about Instance...
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2008-09-05  simonpj@microsoft.comMinor refactoring to share InstEnv.instanceBindFun
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in InstEnv
2008-04-07  Manuel M T ChakravartyRemove GADT refinements, part 5
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-01-26  Twan van LaarhovenFixed warnings in types/InstEnv
2007-09-10  Simon MarlowFIX #903: mkWWcpr: not a product
2007-09-04  Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03  Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
next