| Commit message (Expand) | Author | Age | Files | Lines |
* | Add rebindable syntax for if-then-else | simonpj@microsoft.com | 2010-10-22 | 19 | -67/+117 |
* | Lint should check for duplicate top-level bindings with same qualified name | simonpj@microsoft.com | 2010-10-22 | 1 | -11/+29 |
* | Fix unused import warning on OS X | Ian Lynagh | 2010-10-22 | 1 | -0/+2 |
* | Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupply | Ian Lynagh | 2010-10-21 | 7 | -24/+20 |
* | Whitespace only | Ian Lynagh | 2010-10-21 | 1 | -6/+6 |
* | Whitespace only | Ian Lynagh | 2010-10-21 | 1 | -5/+5 |
* | Whitespace only | Ian Lynagh | 2010-10-21 | 1 | -8/+8 |
* | Fix Trac #4396, by localising pattern binders in the desugarer | simonpj@microsoft.com | 2010-10-21 | 1 | -5/+43 |
* | White space only | simonpj@microsoft.com | 2010-10-21 | 1 | -3/+3 |
* | Add an assertion | simonpj@microsoft.com | 2010-10-21 | 1 | -1/+1 |
* | Use takeUniqFromSupply in ByteCodeGen | Ian Lynagh | 2010-10-21 | 1 | -3/+3 |
* | Fix some whitespace | Ian Lynagh | 2010-10-21 | 1 | -16/+16 |
* | Use takeUniqFromSupply in emitProcWithConvention | Ian Lynagh | 2010-10-21 | 1 | -2/+3 |
* | Use takeUniqFromSupply in IfaceEnv | Ian Lynagh | 2010-10-21 | 1 | -12/+8 |
* | Define takeUniqFromSupply | Ian Lynagh | 2010-10-21 | 1 | -0/+4 |
* | Remove some extraneous whitespace | Ian Lynagh | 2010-10-21 | 1 | -3/+3 |
* | Add a comment on why some seq's are done | Ian Lynagh | 2010-10-21 | 1 | -0/+2 |
* | Tidy up RuntimeUnkSkols a bit more | simonpj@microsoft.com | 2010-10-21 | 3 | -26/+24 |
* | Fix haddock markup | simonpj@microsoft.com | 2010-10-21 | 1 | -1/+1 |
* | Improve rule checking, to fix panic Trac #4398 | simonpj@microsoft.com | 2010-10-21 | 2 | -84/+86 |
* | Improve the simple expression optimiser so it does simple beta reduction | simonpj@microsoft.com | 2010-10-21 | 1 | -31/+43 |
* | Template Haskell: add view patterns (Trac #2399) | Reiner Pope | 2010-10-10 | 2 | -3/+10 |
* | Tidy-up sweep, following the Great Skolemisation Simplification | simonpj@microsoft.com | 2010-10-21 | 10 | -81/+54 |
* | Fix haddock markup | Ian Lynagh | 2010-10-20 | 1 | -4/+4 |
* | Don't seq unfoldings | Ian Lynagh | 2010-10-20 | 1 | -1/+4 |
* | Avoid hanging on to old unfoldings; fixes #4367 (compiler space regression) | Ian Lynagh | 2010-10-20 | 1 | -2/+8 |
* | Comments and layout only | simonpj@microsoft.com | 2010-10-20 | 3 | -14/+22 |
* | (1) More lenient kind checking, (2) Fixed orientation problems and avoiding d... | dimitris@microsoft.com | 2010-10-20 | 3 | -118/+185 |
* | Midstream changes to deal with spontaneous solving and flatten skolem equival... | dimitris@microsoft.com | 2010-10-19 | 4 | -72/+208 |
* | Refactor, plus fix Trac #4418 | simonpj@microsoft.com | 2010-10-20 | 1 | -121/+101 |
* | Add a comment, connecting the seq to the test (#4367) that shows its usefulness | simonpj@microsoft.com | 2010-10-20 | 1 | -1/+1 |
* | Define setIdUnfoldingLazily, and use it in Vectorise | Ian Lynagh | 2010-10-19 | 2 | -2/+7 |
* | Evaluate the results in coreToStgApp | Ian Lynagh | 2010-10-19 | 1 | -5/+7 |
* | Retab CoreToStg, and remove trailing whitespace | Ian Lynagh | 2010-10-19 | 1 | -418/+418 |
* | seq the unfolding in setUnfoldingInfo | Ian Lynagh | 2010-10-19 | 1 | -4/+3 |
* | Comments only | simonpj@microsoft.com | 2010-10-19 | 1 | -1/+2 |
* | Fix debugger | simonpj@microsoft.com | 2010-10-19 | 2 | -13/+37 |
* | Fix IPRun by fixing the inferred quantification mechanism | simonpj@microsoft.com | 2010-10-19 | 1 | -5/+18 |
* | Recover after an error in an implication constraint | simonpj@microsoft.com | 2010-10-19 | 2 | -1/+12 |
* | Reject programs with equality superclasses for now | simonpj@microsoft.com | 2010-10-19 | 1 | -5/+12 |
* | Layout and tiny refactoring only | simonpj@microsoft.com | 2010-10-19 | 1 | -17/+16 |
* | Clean up the debugger code | simonpj@microsoft.com | 2010-10-19 | 9 | -230/+194 |
* | Add new VarEnv functions minusVarEnv, intersectsVarEnv, unionInScope | simonpj@microsoft.com | 2010-10-19 | 1 | -1/+10 |
* | Major pass through type checker:(1) prioritizing equalities, (2) improved Der... | dimitris@microsoft.com | 2010-10-18 | 5 | -222/+326 |
* | (1) Caching FD improvements for efficiency, (2) preventing cascading deriveds... | dimitris@microsoft.com | 2010-10-15 | 4 | -76/+137 |
* | Midstream changes for performance improvement related to superclasses and fun... | dimitris@microsoft.com | 2010-10-14 | 4 | -104/+168 |
* | Minor | dimitris@microsoft.com | 2010-10-12 | 1 | -3/+2 |
* | Commentary changes | dimitris@microsoft.com | 2010-10-11 | 1 | -2/+31 |
* | Kind checking bugfix (#4356) and preventing wanteds from rewriting wanteds | dimitris@microsoft.com | 2010-10-08 | 3 | -34/+69 |
* | Fix -auto-all: Add SCCs to IDs which have a monotype too | Ian Lynagh | 2010-10-18 | 1 | -4/+6 |