Substantial improvements to coercion optimisation
[ghc.git] / compiler / types / Unify.lhs
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
2007-02-02  simonpj@microsoft.comFix a pair of classic, but tricky, bugs in the type...
2006-11-01  simonpj@microsoft.comComments and layout only
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-08-04  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-04-12  simonpj@microsoft.comImprove pruning of case alternatives to account for...
2006-04-07  Simon MarlowReorganisation of the source tree