types: detabify/dewhitespace Unify
[ghc.git] / compiler / types / Unify.lhs
2014-09-26  Austin Seipptypes: detabify/dewhitespace Unify
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-12  Richard EisenbergFix Trac #9371.
2014-06-30  Iavor S. DiatchkiEliminate `Unify.validKindShape` (#9242)
2014-06-26  Joachim BreitnerMerge Thomas Miedema‚Äôs syn-all improvments
2014-06-25  Gabor GreifTypos in comments
2014-06-14  Iavor S. DiatchkiImplement `Typeable` support for type-level literals...
2014-05-23  Simon Peyton JonesMake the unifier a fixpoint even for the free kind...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-03-10  Simon Peyton JonesUnify, rather than match, in GND processing (fixes...
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-11  Austin SeippFix AMP warnings.
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-28  Richard EisenbergClarify comments about apartness
2013-08-02  Richard EisenbergFix Trac #8020.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-04-25  Richard EisenbergUpdated documentation; changed "group" to "branched...
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
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-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-31  Iavor S. DiatchkiAdd some missing equations for type-literals.
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesWhite space only
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)
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
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-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 JonesExport a tiny bit more info with AbstractTyCon (fixes...
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
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-04  Simon Peyton JonesBe cleverer in dataConCannotMatch, fixes Trac #5168
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-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd basic support for number type literals.
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-10-19  simonpj@microsoft.comClean up the debugger code
2010-09-15  simonpj@microsoft.comRemove dead code dealing with type refinement
2010-01-04  simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-11-06  simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2008-09-20  simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-09-05  simonpj@microsoft.comRemove unused constructors AvoidMe, WildCard
2008-08-11  simonpj@microsoft.comFix Trac #2367: selectors for GADTs
2008-04-22  Ian LynaghChange the last few (F)SLIT's into (f)sLit's
2008-04-22  simonpj@microsoft.comRefactor the TyVarTy case of 'match'. No change in...
2008-04-07  Manuel M T ChakravartyRemove GADT refinements, part 5
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-03  Twan van LaarhovenFixed warnings in types/Unify
2008-01-28  simonpj@microsoft.comFix typo where I forgot the new substitution
2008-01-16  simonpj@microsoft.comThe Core type-matcher should look through PredTypes
2007-09-29  simonpj@microsoft.comFix Trac #1746: make rule-matching work properly with...
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-05-04  simonpj@microsoft.comFix the pruning of dead case alternatives
2007-04-22  simonpj@microsoft.comFixes to datacon wrappers for indexed data types
next