2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker |
blob | commitdiff |
2010-10-06 |
dimitris@microsoft.com | Major bugfixing pass through the type checker |
blob | commitdiff | diff to current |
2010-09-16 |
simonpj@microsoft.com | More assertions |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-06-14 |
simonpj@microsoft.com | Use mkFunTy to ensure that invariants are respected |
blob | commitdiff | diff to current |
2010-03-01 |
simonpj@microsoft.com | Implement a smart constructor mkUnsafeCoercion, and... |
blob | commitdiff | diff to current |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
blob | commitdiff | diff to current |
2009-12-16 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2009-12-16 |
simonpj@microsoft.com | Two improvements to optCoercion |
blob | commitdiff | diff to current |
2009-12-16 |
simonpj@microsoft.com | Deal with warnings in Coercion.lhs |
blob | commitdiff | diff to current |
2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE |
blob | commitdiff | diff to current |
2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture |
blob | commitdiff | diff to current |
2009-11-08 |
tom.schrijvers@cs... | more aggressive optimization of coercion terms |
blob | commitdiff | diff to current |
2009-11-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR |
blob | commitdiff | diff to current |
2009-10-30 |
simonpj@microsoft.com | Improve coercion optimisation |
blob | commitdiff | diff to current |
2009-10-28 |
tom.schrijvers@cs... | fix and enable coercion optimization |
blob | commitdiff | diff to current |
2009-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercio... |
blob | commitdiff | diff to current |
2009-07-06 |
simonpj@microsoft.com | Trim unused imports detected by new unused-import code |
blob | commitdiff | diff to current |
2009-03-15 |
Manuel M T Chakravarty | Ensure the orientation of var-var equalities is correct... |
blob | commitdiff | diff to current |
2009-01-13 |
simonpj@microsoft.com | Rename isIdentityCoercion to isIdentityCoI; add Coercio... |
blob | commitdiff | diff to current |
2008-10-29 |
simonpj@microsoft.com | Add Outputable instance for CoercionI |
blob | commitdiff | diff to current |
2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Document Coercion |
blob | commitdiff | diff to current |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Coercion |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-03-15 |
Ian Lynagh | Remove leftover NoteTy/FTVNote bits |
blob | commitdiff | diff to current |
2008-02-06 |
Roman Leshchinskiy | Teach cheapEqExpr about casts |
blob | commitdiff | diff to current |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/Coercion, except for incomplete... |
blob | commitdiff | diff to current |
2007-10-03 |
Manuel M T Chakravarty | TcTyFuns.eqInstToRewrite |
blob | commitdiff | diff to current |
2007-09-29 |
Manuel M T Chakravarty | Some more traceTcs |
blob | commitdiff | diff to current |
2007-09-10 |
Manuel M T Chakravarty | Cleaned up version of Tom's unflattened skolemOccurs |
blob | commitdiff | diff to current |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff | diff to current |
2007-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
blob | commitdiff | diff to current |
2007-05-23 |
simonpj@microsoft.com | White-space only |
blob | commitdiff | diff to current |
2007-05-11 |
Tom Schrijvers | type family normalisation |
blob | commitdiff | diff to current |
2007-04-25 |
Manuel M T Chakravarty | Generating synonym instance representation tycons |
blob | commitdiff | diff to current |
2007-02-05 |
simonpj@microsoft.com | Improve simplification of coercions |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Fix a nasty recursive loop in typechecking interface... |
blob | commitdiff | diff to current |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Simplify the way in which the coKindFun in CoercionTyCo... |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Fixed bug in coercion for indexed data types |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Make newtype Coercion eta-contract if the tails of... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Make sym coercion smart constructor smarter, add comments |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Fix GADT refinement fix-pointing, add ASSERTs and a... |
blob | commitdiff | diff to current |
2006-08-07 |
Manuel M T Chakravarty | Comments only |
blob | commitdiff | diff to current |
2006-08-07 |
Manuel M T Chakravarty | Correct grevious bug in mkSymCoercion |
blob | commitdiff | diff to current |
2006-08-06 |
Manuel M T Chakravarty | Remove Control-M from Coercion.hs |
blob | commitdiff | diff to current |
2006-08-06 |
Manuel M T Chakravarty | Add Coercion.lhs |
blob | commitdiff | diff to current |
|