Hurrah! This major commit adds support for scoped kind variables,
[ghc.git] / compiler / types / Coercion.lhs
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesFix if-def-ery for DEBUG
2012-01-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesIn mkCast (Coercion c1) c2, check that c2 has (~#)...
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-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-22  Simon Marlowmerge
2011-11-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17  Simon Peyton JonesRemove a quadratic complexity blow-up in coercionKind
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-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-07  Simon Peyton JonesComments and layout
2011-09-07  Simon Peyton JonesMinor refactoring of dsLCoercion, plus comments
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeRemove bogus isCoercionKind function and its sole use
2011-08-08  Simon Peyton JonesUse parenSymOcc when displaying an export list in RnNam...
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
2011-08-03  Simon Peyton JonesisCoVarType should look at the *representation* type,
2011-08-03  Simon Peyton JonesAdd Type.tyConAppTyCon_maybe and tyConAppArgs_maybe...
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
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-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesA nice tidy-up for CvSubst and liftCoSubst
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-15  Simon Peyton JonesA bit more work to to keep the right in-scope set around
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...
2010-11-12  simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-06  dimitris@microsoft.comMajor bugfixing pass through the type checker
2010-09-16  simonpj@microsoft.comMore assertions
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-06-14  simonpj@microsoft.comUse mkFunTy to ensure that invariants are respected
2010-03-01  simonpj@microsoft.comImplement a smart constructor mkUnsafeCoercion, and...
2010-01-04  simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-16  simonpj@microsoft.comComments only
2009-12-16  simonpj@microsoft.comTwo improvements to optCoercion
2009-12-16  simonpj@microsoft.comDeal with warnings in Coercion.lhs
2009-12-11  simonpj@microsoft.comUse full equality for CSE
2009-11-12  simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-11-08  tom.schrijvers@cs... more aggressive optimization of coercion terms
2009-11-06  simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-30  simonpj@microsoft.comImprove coercion optimisation
2009-10-28  tom.schrijvers@cs... fix and enable coercion optimization
2009-10-26  simonpj@microsoft.comAdd a coercion optimiser, to reduce the size of coercio...
2009-07-06  simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-03-15  Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct...
2009-01-13  simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio...
2008-10-29  simonpj@microsoft.comAdd Outputable instance for CoercionI
2008-09-20  simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-07-31  Max BolingbrokeDocument Coercion
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Coercion
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-03-15  Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-02-06  Roman LeshchinskiyTeach cheapEqExpr about casts
2008-01-26  Twan van LaarhovenFixed warnings in types/Coercion, except for incomplete...
2007-10-03  Manuel M T ChakravartyTcTyFuns.eqInstToRewrite
2007-09-29  Manuel M T ChakravartySome more traceTcs
2007-09-10  Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs
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-08-09  simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix...
2007-05-23  simonpj@microsoft.comWhite-space only
2007-05-11  Tom Schrijverstype family normalisation
2007-04-25  Manuel M T ChakravartyGenerating synonym instance representation tycons
2007-02-05  simonpj@microsoft.comImprove simplification of coercions
2007-01-11  simonpj@microsoft.comFix a nasty recursive loop in typechecking interface...
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
next