| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Use fresh uniques when unboxing coercions in the desugarer | Simon Peyton Jones | 2012-05-09 | 1 | -26/+33 |
| * | Yet another major refactoring of the constraint solver | Simon Peyton Jones | 2012-05-07 | 1 | -21/+34 |
| * | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-03-13 | 1 | -6/+33 |
| |\ |
|
| | * | Attach INLINE pagmas in mutually recursive bindings | Simon Peyton Jones | 2012-03-04 | 1 | -2/+29 |
| | * | Refactoring around super-kinds | Simon Peyton Jones | 2012-02-16 | 1 | -1/+1 |
| * | | Add support for type-level "strings". | Iavor S. Diatchki | 2012-01-24 | 1 | -1/+4 |
| * | | Merge remote-tracking branch 'origin/master' into type-nats | Iavor S. Diatchki | 2012-01-24 | 1 | -24/+41 |
| |\ \
| |/ |
|
| | * | Fix validate | Ian Lynagh | 2012-01-19 | 1 | -1/+4 |
| | * | Warn when a SPECIALISE pragma gives rise to a totally inactive rule | Simon Peyton Jones | 2012-01-17 | 1 | -24/+38 |
| * | | Merge in more HEAD, fix stuff up | Simon Peyton Jones | 2012-01-23 | 1 | -2/+8 |
| |\ \
| |/ |
|
| | * | Implememt -fdefer-type-errors (Trac #5624) | Simon Peyton Jones | 2012-01-12 | 1 | -1/+6 |
| * | | Go back to using an Integer as evidence, rather then just a Word. | Iavor S. Diatchki | 2012-01-07 | 1 | -8/+1 |
| * | | Monadify dsEvTerm in preparation for generating Integer & String evidence. | Iavor S. Diatchki | 2012-01-07 | 1 | -35/+42 |
| * | | Add the built-in instances for class NatI. | Iavor S. Diatchki | 2011-12-29 | 1 | -0/+9 |
| |/ |
|
| * | Introduced new form of TcEvidence for KindCasts, this patch also fixes a | Dimitrios Vytiniotis | 2011-12-22 | 1 | -1/+3 |
| * | Allow full constraint solving under a for-all (Trac #5595) | Simon Peyton Jones | 2011-12-05 | 1 | -131/+142 |
| * | Support "phase control" for SPECIALISE pragmas | Simon Peyton Jones | 2011-11-24 | 1 | -2/+58 |
| * | GHC gets a new constraint solver. More efficient and smaller in size. | Dimitrios Vytiniotis | 2011-11-16 | 1 | -10/+19 |
| * | Use -fwarn-tabs when validating | Ian Lynagh | 2011-11-04 | 1 | -0/+7 |
| * | Overhaul of infrastructure for profiling, coverage (HPC) and breakpoints | Simon Marlow | 2011-11-02 | 1 | -107/+39 |
| * | Comments, and rename FactTuple to ConstraintTuple | Simon Peyton Jones | 2011-09-09 | 1 | -2/+2 |
| * | Minor refactoring of dsLCoercion, plus comments | Simon Peyton Jones | 2011-09-07 | 1 | -4/+16 |
| * | Implement -XConstraintKind | Max Bolingbroke | 2011-09-06 | 1 | -55/+56 |
| * | Major improvement to pattern bindings | Simon Peyton Jones | 2011-08-16 | 1 | -37/+25 |
| * | Tidy up handling of PredTys: remove dead code, move functions deconstructing ... | Max Bolingbroke | 2011-08-03 | 1 | -3/+3 |
| * | When specialising recursive functions, mark the specialised function NOINLINE | Simon Peyton Jones | 2011-07-21 | 1 | -2/+5 |
| * | Don't allow specialisation of class methods (fixes Trac #5001) | Simon Peyton Jones | 2011-06-13 | 1 | -0/+9 |
| * | A few more wibbles on ghc-new-co | Simon Peyton Jones | 2011-05-02 | 1 | -5/+5 |
| * | This BIG PATCH contains most of the work for the New Coercion Representation | Simon Peyton Jones | 2011-04-19 | 1 | -12/+8 |
| * | Fix Trac #4870: get the inlining for an imported INLINABLE Id | simonpj@microsoft.com | 2011-01-05 | 1 | -6/+7 |
| * | For single-method classes use newtypes | simonpj@microsoft.com | 2010-11-01 | 1 | -2/+1 |
| * | Fix recursive superclasses (again). Fixes Trac #4809. | simonpj@microsoft.com | 2010-12-13 | 1 | -29/+15 |
| * | Re-jig simplifySuperClass (again) | simonpj@microsoft.com | 2010-12-02 | 1 | -9/+9 |
| * | Improve rule checking, to fix panic Trac #4398 | simonpj@microsoft.com | 2010-10-21 | 1 | -75/+82 |
| * | Fix -auto-all: Add SCCs to IDs which have a monotype too | Ian Lynagh | 2010-10-18 | 1 | -4/+6 |
| * | Implement auto-specialisation of imported Ids | simonpj@microsoft.com | 2010-10-07 | 1 | -64/+75 |
| * | Fix an egregious bug: INLINE pragmas on monomorphic Ids were being ignored | simonpj@microsoft.com | 2010-09-24 | 1 | -80/+5 |
| * | Implement INLINABLE pragma | simonpj@microsoft.com | 2010-09-15 | 1 | -10/+18 |
| * | Super-monster patch implementing the new typechecker -- at last | simonpj@microsoft.com | 2010-09-13 | 1 | -104/+219 |
| * | Robustify the treatement of DFunUnfolding | simonpj@microsoft.com | 2010-05-31 | 1 | -7/+8 |
| * | Make arity of INLINE things consistent | simonpj@microsoft.com | 2010-05-10 | 1 | -3/+4 |
| * | Flags -auto and -auto-all operate only on functions not marked INLINE. | Milan Straka | 2010-03-31 | 1 | -0/+3 |
| * | Rule binders shouldn't have DFun pragmas | simonpj@microsoft.com | 2010-03-09 | 1 | -5/+7 |
| * | Respect SPECIALISE pragmas even for apparently-non-overloaded things | simonpj@microsoft.com | 2010-01-08 | 1 | -120/+132 |
| * | Improve the handling of default methods | simonpj@microsoft.com | 2010-01-06 | 1 | -57/+42 |
| * | Comments only (about implementing SPECIALISE pragmas) | simonpj@microsoft.com | 2009-12-21 | 1 | -30/+35 |
| * | More work on the simplifier's inlining strategies | simonpj@microsoft.com | 2009-12-02 | 1 | -10/+16 |
| * | Implement -fexpose-all-unfoldings, and fix a non-termination bug | simonpj@microsoft.com | 2009-11-19 | 1 | -1/+1 |
| * | Wibble to comment | simonpj@microsoft.com | 2009-11-13 | 1 | -3/+3 |
| * | Use eta-expansion to ensure that INLINE things have their expected arity2009-11-15 | simonpj@microsoft.com | 2009-11-13 | 1 | -11/+27 |
