2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
blob | commitdiff |
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 |
|