| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -189/+262 |
| * | When vec growth results in a newly allocated (extended) buffer, copy existing... | Roy Frostig | 2010-09-03 | 1 | -1/+8 |
| * | Add element to closure to hold captured tydesc (not body tydesc). | Graydon Hoare | 2010-08-25 | 1 | -4/+3 |
| * | Merge obj-drop and closure-drop code, handles freeing bound exteriors now. | Graydon Hoare | 2010-08-25 | 1 | -4/+9 |
| * | First pass of updating the in-memory layout of closures, for issue 81. | Graydon Hoare | 2010-08-25 | 1 | -23/+60 |
| * | Janitorial work on obj box / body / field terminology, following froystig's b... | Graydon Hoare | 2010-08-25 | 1 | -3/+6 |
| * | Avoid iterating ty parts on drop when there are no heap pointers in ty. Wins ... | Graydon Hoare | 2010-08-24 | 1 | -1/+27 |
| * | Fix a bunch of typestate bugs in handling if and while statement wirings. | Graydon Hoare | 2010-08-19 | 1 | -0/+2 |
| * | Add support for casting native types. | Graydon Hoare | 2010-08-18 | 1 | -1/+2 |
| * | Get object's captured typarams when calculating sizes in the backend's fn-pro... | Roy Frostig | 2010-08-09 | 1 | -32/+37 |
| * | Test the deque a bit. Give it a get-by-index method. Fix two uncovered stat... | Roy Frostig | 2010-07-28 | 1 | -0/+17 |
| * | Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a... | Graydon Hoare | 2010-07-27 | 1 | -1/+1 |
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 1 | -137/+119 |
| * | Fix numerous non-linearities and O(sizeof(crate)) issues in typestate system'... | Graydon Hoare | 2010-07-26 | 1 | -18/+6 |
| * | Change ctxt_crate_main to an Ast.name. | Graydon Hoare | 2010-07-26 | 1 | -5/+2 |
| * | Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ca... | Graydon Hoare | 2010-07-23 | 1 | -10/+2 |
| * | Include all lval-writing statements in stmt_is_init calculation, not just "co... | Graydon Hoare | 2010-07-23 | 1 | -2/+2 |
| * | Tidy up handling of unimplemented features. These are expected (if undesirabl... | Graydon Hoare | 2010-07-20 | 1 | -15/+3 |
| * | Fix over-optimistic resolution of self-methods within obj scopes. There is no... | Graydon Hoare | 2010-07-19 | 1 | -5/+1 |
| * | Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ... | Roy Frostig | 2010-07-16 | 1 | -5/+8 |
| * | Make mutability no longer a type constructor | Patrick Walton | 2010-07-15 | 1 | -2/+2 |
| * | Begin moving closure-or-obj pointer out to front of call args by changing the... | Roy Frostig | 2010-07-15 | 1 | -2/+2 |
| * | Make the call args referent type always have a closure word (non-optional, nu... | Roy Frostig | 2010-07-15 | 1 | -5/+4 |
| * | Minimize pointless logging during walk. | Graydon Hoare | 2010-07-14 | 1 | -3/+94 |
| * | Catch cyclic imports harder. Add 2 tests to confirm. | Graydon Hoare | 2010-07-09 | 1 | -11/+14 |
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 1 | -8/+21 |
| * | Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not... | Graydon Hoare | 2010-07-08 | 1 | -2/+2 |
| * | Merge branch 'master' of [email protected]:graydon/rust into exterior_and_mutabl... | Graydon Hoare | 2010-07-02 | 1 | -9/+9 |
| |\ |
|
| | * | Fix two bugs in tag patterns: 1. Look up the tag constructor function item us... | Roy Frostig | 2010-07-01 | 1 | -9/+9 |
| * | | Improve mangling. | Graydon Hoare | 2010-07-01 | 1 | -2/+2 |
| * | | Teach the associative_binary_op_ty_fold about box, mutable and tys. | Graydon Hoare | 2010-07-01 | 1 | -0/+3 |
| * | | Reinstate disgusting, filthy workarounds for deriving missing type informatio... | Graydon Hoare | 2010-07-01 | 1 | -14/+19 |
| * | | Convey auto-deref judgments made in typechecker to trans layer; control the d... | Graydon Hoare | 2010-07-01 | 1 | -0/+2 |
| * | | Some work on teaching trans to differentiate between auto-deref and explicit-... | Graydon Hoare | 2010-07-01 | 1 | -4/+9 |
| * | | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | 2010-07-01 | 1 | -39/+23 |
| * | | Simplify types before analyzing call structure; 2 more tests compile. | Graydon Hoare | 2010-07-01 | 1 | -2/+4 |
| * | | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke... | Graydon Hoare | 2010-06-30 | 1 | -30/+30 |
| * | | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit... | Graydon Hoare | 2010-06-30 | 1 | -7/+28 |
| * | | Improve error message. | Graydon Hoare | 2010-06-30 | 1 | -2/+1 |
| * | | Reimplement backup scheme for handling lvals not yet resolved by typechecker. | Graydon Hoare | 2010-06-30 | 1 | -15/+38 |
| * | | Fix error-message typo. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | | Move simplified_ty from trans to semant and use it a few places. | Graydon Hoare | 2010-06-30 | 1 | -1/+8 |
| * | | Wrap long lines. | Graydon Hoare | 2010-06-30 | 1 | -1/+4 |
| * | | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -78/+93 |
| |/ |
|
| * | Canonicalize hashtables after running them through htab_map. Closes #77. | Graydon Hoare | 2010-06-28 | 1 | -11/+3 |
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -13/+11 |
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids i... | Graydon Hoare | 2010-06-27 | 1 | -11/+134 |
| * | Add sever-glue, for missing first stage of sweep. | Graydon Hoare | 2010-06-25 | 1 | -13/+16 |
| * | Emit gc glue and rearrange crate glue offsets slightly to have a regular order. | Graydon Hoare | 2010-06-25 | 1 | -0/+4 |
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring way... | Roy Frostig | 2010-06-25 | 1 | -9/+38 |