2010-10-19 |
simonpj@microsoft.com | Clean up the debugger code |
blob | commitdiff |
2010-09-16 |
simonpj@microsoft.com | Fix bad error in tyVarsOfType |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-09-02 |
simonpj@microsoft.com | Assert |
blob | commitdiff | diff to current |
2010-08-13 |
simonpj@microsoft.com | Re-do the arity calculation mechanism again (fix Trac... |
blob | commitdiff | diff to current |
2010-03-04 |
simonpj@microsoft.com | Make `mkFunTy` associate to the right, as it should |
blob | commitdiff | diff to current |
2009-12-24 |
simonpj@microsoft.com | Refactor CoreArity a bit |
blob | commitdiff | diff to current |
2009-12-22 |
simonpj@microsoft.com | Move isDictTy from TcType to Type |
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 | Two improvements to optCoercion |
blob | commitdiff | diff to current |
2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE |
blob | commitdiff | diff to current |
2009-11-19 |
Roman Leshchinskiy | Fix splitAppTys |
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-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR |
blob | commitdiff | diff to current |
2009-10-28 |
simonpj@microsoft.com | Trivial improvement to mkForAllTy |
blob | commitdiff | diff to current |
2009-08-13 |
simonpj@microsoft.com | Fix Trac #3409: type synonyms that discard their arguments |
blob | commitdiff | diff to current |
2009-03-05 |
simonpj@microsoft.com | Finally fix Trac #3066 |
blob | commitdiff | diff to current |
2008-12-31 |
simonpj@microsoft.com | White space and spelling in comments |
blob | commitdiff | diff to current |
2008-09-23 |
simonpj@microsoft.com | Improve crash message from applyTys and applyTypeToArgs |
blob | commitdiff | diff to current |
2008-10-09 |
Manuel M T Chakravarty | Cover PredTy case in Type.tyFamInsts |
blob | commitdiff | diff to current |
2008-10-02 |
Manuel M T Chakravarty | Clean up some comments |
blob | commitdiff | diff to current |
2008-09-15 |
simonpj@microsoft.com | Minor refactoring to get rid of Type.splitNewTyConApp |
blob | commitdiff | diff to current |
2008-09-07 |
Manuel M T Chakravarty | Type families: new algorithm to solve equalities |
blob | commitdiff | diff to current |
2008-09-05 |
simonpj@microsoft.com | Better debug panic messages in applyTys |
blob | commitdiff | diff to current |
2008-08-07 |
Ian Lynagh | Fix errors with haddock 0.8 |
blob | commitdiff | diff to current |
2008-07-31 |
Max Bolingbroke | Document Type |
blob | commitdiff | diff to current |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
blob | commitdiff | diff to current |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Type |
blob | commitdiff | diff to current |
2008-04-22 |
simonpj@microsoft.com | Add Note [Generating the in-scope set for a substitution] |
blob | commitdiff | diff to current |
2008-04-21 |
pepe | Fix #2044 (:printing impredicatively typed things) |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Remove more #ifdef DEBUGs |
blob | commitdiff | diff to current |
2008-03-15 |
Ian Lynagh | Remove leftover NoteTy/FTVNote bits |
blob | commitdiff | diff to current |
2008-03-15 |
Ian Lynagh | Remove uses of addFreeTyVars |
blob | commitdiff | diff to current |
2008-02-02 |
Ian Lynagh | Whitespace only |
blob | commitdiff | diff to current |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/Type, except for incomplete... |
blob | commitdiff | diff to current |
2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
blob | commitdiff | diff to current |
2007-11-13 |
Pepe Iborra | Fix Trac 1865: GHCi debugger crashes with :print |
blob | commitdiff | diff to current |
2007-10-02 |
Manuel M T Chakravarty | FIX: mkWWcpr takes open alg types into account |
blob | commitdiff | diff to current |
2007-09-19 |
Manuel M T Chakravarty | FIX #1713: watch out for type families in splitAppTy... |
blob | commitdiff | diff to current |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
blob | commitdiff | diff to current |
2007-09-11 |
simonpj@microsoft.com | Minor refactoring: give an explicit name to the pretty... |
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-05 |
simonpj@microsoft.com | Refactor, improve, and document the deriving mechanism |
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-08-03 |
simonpj@microsoft.com | Remove dead code |
blob | commitdiff | diff to current |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
blob | commitdiff | diff to current |
2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families |
blob | commitdiff | diff to current |
2007-05-02 |
simonpj@microsoft.com | Use pprSourceTyCon; delete unused tyConOrigHead |
blob | commitdiff | diff to current |
2007-04-25 |
simonpj@microsoft.com | Fix misleading debug trace |
blob | commitdiff | diff to current |
2007-04-24 |
Pepe Iborra | When a type is refined after :print, propagate the... |
blob | commitdiff | diff to current |
2007-04-02 |
simonpj@microsoft.com | Make type-tidying work for coercion variables |
blob | commitdiff | diff to current |
2007-01-11 |
simonpj@microsoft.com | Add the function TypeRep.pprTypeApp, and use it |
blob | commitdiff | diff to current |
2007-01-04 |
Manuel M T Chakravarty | Fix and improve deriving for indexed data types |
blob | commitdiff | diff to current |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
2006-12-18 |
Manuel M T Chakravarty | Deriving for indexed data types |
blob | commitdiff | diff to current |
2006-12-10 |
Pepe Iborra | Closure inspection in GHCi |
blob | commitdiff | diff to current |
2006-11-10 |
simonpj@microsoft.com | Cosmetics and debug printing only |
blob | commitdiff | diff to current |
2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Remove unused import |
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-06 |
simonpj@microsoft.com | Import trimming |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Complete definition of cmPredX to take account of EqPred |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Correct crucial typo in isSubKind (kc1 -> kc2)! |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
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 | Check category of type instances and some newtype famil... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations |
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-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | towards unboxing through newtypes |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-08-18 |
simonpj@microsoft.com | Better pretty-printing for TvSubst |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|