| 11 | | ==== Ben (benl23) -- updated 13th April 2010 ==== |
| 12 | | * Over the last couple of weeks I've been doing thesis corrections, so not as much coding of late. |
| 13 | | * When coding I'm mostly refactoring and cleaning up the code base, getting it more stable before moving on to bug fixing. |
| 14 | | * Refactoring the representation of types to use a Data.Map to hold type constraints instead of a flat list. |
| 15 | | * Refactoring the top-level driver to use a better structure to hold top-level-things instead of a flat list. |
| 16 | | * Refactoring the representation of type and kind constructors to match last year's APLAS paper. |
| 17 | | * Also implementing a new module interface file format. We need this to propagate constraints on top-level regions between modules, and also to move towards being able to do cross-module inlining. |
| | 11 | ==== Ben (benl23) -- updated 10th May 2010 ==== |
| | 12 | * I'm working on reducing the number of constructors in Type.Exp.Exp. We want to use general type application instead of a different constructor for function, data, effect and closure types. Doing this will make code that works on types simpler, and hopefully kill some outstanding bugs on the way. |
