| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Implement "roles" into GHC. | Richard Eisenberg | 2013-08-02 | 1 | -26/+33 |
| * | Make 'SPECIALISE instance' work again | Simon Peyton Jones | 2013-05-30 | 1 | -21/+18 |
| * | Make the desugarer a tiny bit cleverer on coercions (fixes Trac #7837) | Simon Peyton Jones | 2013-04-16 | 1 | -2/+31 |
| * | typos | Gabor Greif | 2013-01-30 | 1 | -2/+2 |
| * | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc | Simon Peyton Jones | 2013-01-02 | 1 | -1/+2 |
| |\ |
|
| | * | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 1 | -1/+2 |
| * | | Define ListSetOps.getNth, and use it | Simon Peyton Jones | 2013-01-02 | 1 | -1/+2 |
| |/ |
|
| * | Rename remaining FastBytes usages to ByteString | Ian Lynagh | 2012-12-14 | 1 | -1/+1 |
| * | Make the opt_UF_* static flags dynamic | Ian Lynagh | 2012-10-09 | 1 | -12/+16 |
| * | Refactor the handling of kind errors | Simon Peyton Jones | 2012-09-28 | 1 | -4/+0 |
| * | Implement 'left' and 'right' coercions | Simon Peyton Jones | 2012-09-17 | 1 | -0/+1 |
| * | Improve the binding location of class methods (I think) | Simon Peyton Jones | 2012-09-17 | 1 | -2/+3 |
| * | Fix Trac #7196 by adding a case to the desugarer | Simon Peyton Jones | 2012-08-29 | 1 | -5/+6 |
| * | Implement FastBytes, and use it for MachStr | Ian Lynagh | 2012-07-14 | 1 | -1/+1 |
| * | Pass DynFlags down to showSDoc | Ian Lynagh | 2012-06-12 | 1 | -2/+2 |
| * | 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 |
