2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff |
2008-03-06 |
simonpj@microsoft.com | Fix Trac #783: improve short-cutting literals in the... |
blob | commitdiff | diff to current |
2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
blob | commitdiff | diff to current |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/Inst: use do, return and standard... |
blob | commitdiff | diff to current |
2007-11-28 |
simonpj@microsoft.com | Improve pretty-printing for Insts |
blob | commitdiff | diff to current |
2007-11-22 |
Manuel M T Chakravarty | Properly ppr InstEqs in wanteds of implication constraints |
blob | commitdiff | diff to current |
2007-11-01 |
simonpj@microsoft.com | Rejig the error messages a bit; fixes a minor bug |
blob | commitdiff | diff to current |
2007-10-27 |
simonpj@microsoft.com | An implication constraint can abstract over EqInsts |
blob | commitdiff | diff to current |
2007-10-18 |
Manuel M T Chakravarty | Fix typo that prevented zonking of rhs of EqInsts |
blob | commitdiff | diff to current |
2007-10-10 |
Dan Licata | View patterns, record wildcards, and record puns |
blob | commitdiff | diff to current |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
blob | commitdiff | diff to current |
2007-09-06 |
Manuel M T Chakravarty | EqInst related clean up |
blob | commitdiff | diff to current |
2007-09-04 |
Tom Schrijvers | fix of wanted equational class context |
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-04 |
Ian Lynagh | Rename Opt_Allow* to Opt_* to match the language names |
blob | commitdiff | diff to current |
2007-08-04 |
Ian Lynagh | Typo in a comment |
blob | commitdiff | diff to current |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
blob | commitdiff | diff to current |
2007-06-19 |
simonpj@microsoft.com | Fix a bug in the handling of implication constraints... |
blob | commitdiff | diff to current |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
blob | commitdiff | diff to current |
2007-05-09 |
simonpj@microsoft.com | Tidy up the interface to lookupInstEnv |
blob | commitdiff | diff to current |
2006-12-21 |
lennart@augustsson.net | Add support for overloaded string literals. |
blob | commitdiff | diff to current |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
blob | commitdiff | diff to current |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
2006-12-29 |
Manuel M T Chakravarty | Make dicts for arbitrary type equalities |
blob | commitdiff | diff to current |
2006-12-29 |
Manuel M T Chakravarty | Construction of EqPred dictionaries |
blob | commitdiff | diff to current |
2006-12-01 |
simonpj@microsoft.com | q |
blob | commitdiff | diff to current |
2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free |
blob | commitdiff | diff to current |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
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 |
simonpj@microsoft.com | Make Inst into a record type to ease subsequent changes |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Another comment |
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 deriving still not working |
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-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-07-25 |
Simon Marlow | Generalise Package Support |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|