| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 1 | -6/+6 | |
| | | | | | keep MEM_interior for describing interior-parts-of-allocations) | |||||
| * | Improve logging in type.ml, give it indentation and per-statement context. | Graydon Hoare | 2010-06-30 | 1 | -1/+3 | |
| | | ||||||
| * | Fix recently-broken lval formatter. | Graydon Hoare | 2010-06-30 | 1 | -0/+2 | |
| | | ||||||
| * | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵ | Graydon Hoare | 2010-06-30 | 1 | -14/+12 | |
| | | | | | implicitly deref in only *some* contexts. | |||||
| * | Fix exterior formatter. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | ||||||
| * | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -41/+60 | |
| | | ||||||
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring ↵ | Roy Frostig | 2010-06-25 | 1 | -1/+7 | |
| | | | | | way more correctness. | |||||
| * | Add fmt module, move out some common format helpers, add ↵ | Graydon Hoare | 2010-06-24 | 1 | -25/+1 | |
| | | | | | instruction-selection tracing and make selection use queues rather than list refs. | |||||
| * | Resolve and typecheck patterns in pattern alt. | Roy Frostig | 2010-06-24 | 1 | -1/+1 | |
| | | ||||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+1360 | |