| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Drop slots on block exits even when blocks have no statements. Part way to fi... | Graydon Hoare | 2010-09-30 | 1 | -0/+8 |
| * | Revert "Make recursive type verification logic better by allowing it to see t... | Graydon Hoare | 2010-09-22 | 1 | -17/+11 |
| * | Make recursive type verification logic better by allowing it to see through m... | Patrick Walton | 2010-09-21 | 1 | -11/+17 |
| * | Implement preliminary form of structured compare. No boxes, vectors or string... | Graydon Hoare | 2010-09-21 | 1 | -2/+2 |
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate... | Graydon Hoare | 2010-09-20 | 1 | -11/+17 |
| * | Use name_base in plval base. | Graydon Hoare | 2010-09-20 | 1 | -6/+3 |
| * | Resolve plvals to their defns. | Graydon Hoare | 2010-09-16 | 1 | -0/+11 |
| * | Better representation of tag containment, which will allow us to discern back... | Patrick Walton | 2010-09-16 | 1 | -3/+7 |
| * | Add ctxt_tag_containment to the Semant context | Patrick Walton | 2010-09-16 | 1 | -0/+7 |
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late... | Graydon Hoare | 2010-09-15 | 1 | -0/+1 |
| * | Add some form-judgements on plvals and pexps. | Graydon Hoare | 2010-09-15 | 1 | -0/+83 |
| * | Begin actually folding constant items into operands at site of use. | Graydon Hoare | 2010-09-14 | 1 | -0/+1 |
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 1 | -0/+1 |
| * | 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 |