Look through type synonyms when deciding if something is a type literal.
[ghc.git] / compiler / types / FunDeps.lhs
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesTidy up FunDeps.oclose
2013-01-14  Iavor S. DiatchkiFix up comment: I was just wrong previously, the origi...
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Iavor S. DiatchkiFixup comment: typos + I had the generalization rule...
2013-01-14  Iavor S. DiatchkiUse a version of the coverage condition even with Undec...
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-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-05-17  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-16  Simon Peyton JonesBe careful to instantiate kind variables when dealing...
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-14  Simon Peyton JonesFix the the pure unifier so that it unifies kinds
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-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-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-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-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-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-02  Simon Peyton JonesSome minor wibbling in printing source locations
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
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 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-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-02-17  simonpj@microsoft.comUse "on the spot" solving for fundeps
2010-10-14  dimitris@microsoft.comMidstream changes for performance improvement related...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-02-11  simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2008-12-01  simonpj@microsoft.comBetter error message for fundep conflict
2008-09-20  simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-07-03  Ian LynaghFix trac #2307: conflicting functional dependencies
2008-07-01  simonpj@microsoft.comFix Trac #2307: need to nub bad fundep reports
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in FunDeps
2008-04-07  Manuel M T ChakravartyRemove GADT refinements, part 5
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-01-26  Twan van LaarhovenFixed warnings in types/FunDeps
2007-09-07  simonpj@microsoft.comTiny optimisation/simplification to FunDeps.grow
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-07-06  simonpj@microsoft.comClarify comments
2007-06-29  simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456
2007-02-21  simonpj@microsoft.comDeal more correctly with orphan instances
2007-02-21  simonpj@microsoft.comRemove dead code from FunDeps
2006-11-24  simonpj@microsoft.comImprove handling of implicit parameters
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-08-06  Manuel M T ChakravartyComments and tidy-up
2006-08-06  Manuel M T ChakravartyGADT fixes
2006-08-04  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-18  simonpj@microsoft.comComments
2006-04-07  Simon MarlowReorganisation of the source tree