| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add machine-dependent 'float' type. | Graydon Hoare | 2010-07-01 | 2 | -0/+3 |
| | | |||||
| * | Fix lexer's definition of numeric literals. | Graydon Hoare | 2010-07-01 | 1 | -4/+5 |
| | | |||||
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 4 | -16/+16 |
| | | | | | 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 support for parsing COMP_deref lval components (*foo). | Graydon Hoare | 2010-06-30 | 1 | -0/+13 |
| | | |||||
| * | 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 | 4 | -115/+119 |
| | | |||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 3 | -3/+2 |
| | | |||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 1 | -7/+21 |
| | | | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13. | ||||
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring ↵ | Roy Frostig | 2010-06-25 | 2 | -15/+23 |
| | | | | | way more correctness. | ||||
| * | Rearrange pexp-custom stuff a bit. | Graydon Hoare | 2010-06-25 | 1 | -22/+16 |
| | | |||||
| * | Add fmt module, move out some common format helpers, add ↵ | Graydon Hoare | 2010-06-24 | 2 | -26/+2 |
| | | | | | instruction-selection tracing and make selection use queues rather than list refs. | ||||
| * | Resolve and typecheck patterns in pattern alt. | Roy Frostig | 2010-06-24 | 2 | -11/+16 |
| | | |||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 7 | -0/+5659 |