Type families: new algorithm to solve equalities
[ghc-hetmet.git] / compiler / typecheck / TcTyFuns.lhs
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcTyFuns
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-03-13 Manuel M T ChakravartySome cleanup in TcSimplify.reduceContext
2008-03-13 Manuel M T ChakravartyProperly normalise reduced dicts
2008-02-26 simonpj@microsoft.comFix Trac #1899; missing equality check in typechecker...
2008-01-17 Twan van LaarhovenMonadify typecheck/TcTyFuns: use standard monad functions
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform
2007-12-07 Manuel M T ChakravartyProperly keep track of whether normalising given or...
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems
2007-10-18 Manuel M T ChakravartyDon't barf on error message with non-tc tyvars
2007-10-15 Manuel M T ChakravartyMore docu for skolemOccurs
2007-10-04 Manuel M T ChakravartyTcTyFuns: remove some duplicate code
2007-10-03 Manuel M T ChakravartyTcTyFuns.eqInstToRewrite
2007-09-16 Manuel M T ChakravartyFIX: TypeFamilies: should_compile/Simple12
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-10 Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs
2007-09-07 Manuel M T ChakravartyMade TcTyFuns warning clean
2007-09-06 Tom Schrijversfix for Simple9
2007-09-06 Manuel M T ChakravartyCleanup of equality rewriting and no swapInsts for...
2007-09-06 Manuel M T ChakravartyEqInst related clean up
2007-09-05 Tom Schrijversalso swap for variables in completion algorithm
2007-09-04 Tom Schrijversbug fix in Decomp step of completion algorithm for...
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03 Manuel M T ChakravartyBetter error message for unsolvable equalities
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