The final batch of changes for the new coercion representation
[ghc-hetmet.git] / compiler / types / FunDeps.lhs
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe...
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