| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Include all lval-writing statements in stmt_is_init calculation, not just "co... | Graydon Hoare | 2010-07-23 | 4 | -15/+15 |
| * | Rename STMT_init_* to STMT_new_*; former name was confusing. | Graydon Hoare | 2010-07-23 | 5 | -94/+82 |
| * | Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and r... | Roy Frostig | 2010-07-22 | 1 | -6/+25 |
| * | A certain incomplete quantity of wrestling with "INIT" statements that don't ... | Graydon Hoare | 2010-07-22 | 1 | -28/+76 |
| * | Re-classify some err / bug cases as unimpl. Ideally rustboot should never pro... | Graydon Hoare | 2010-07-22 | 4 | -6/+7 |
| * | Source FIXME annotations for issue #81 and a correction to STMT_bind fmt. | Roy Frostig | 2010-07-22 | 1 | -1/+4 |
| * | Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100. | Graydon Hoare | 2010-07-22 | 1 | -0/+2 |
| * | Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111. | Graydon Hoare | 2010-07-22 | 1 | -1/+8 |
| * | Make bound functions have the right types | Patrick Walton | 2010-07-20 | 1 | -1/+21 |
| * | Tidy up handling of unimplemented features. These are expected (if undesirabl... | Graydon Hoare | 2010-07-20 | 2 | -24/+11 |
| * | Strip off TY_mutables and TY_constraineds when unboxing values during autoderef | Patrick Walton | 2010-07-19 | 1 | -0/+1 |
| * | ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base. | Roy Frostig | 2010-07-19 | 1 | -17/+24 |
| * | Autoderef objects when passing them as implicit (indirect) arg upon vtbl-disp... | Roy Frostig | 2010-07-19 | 1 | -2/+11 |
| * | Add a test for an obvious-seeming (but not actually legal) kind of cast attem... | Graydon Hoare | 2010-07-19 | 1 | -3/+1 |
| * | Fix over-optimistic resolution of self-methods within obj scopes. There is no... | Graydon Hoare | 2010-07-19 | 1 | -5/+1 |
| * | Missing semicolon in type.ml, plus test to catch regression. Closes #113. | Graydon Hoare | 2010-07-19 | 1 | -1/+1 |
| * | Change the body-fetching GEP in mark_ty to be dynamic. Our box may be parame... | Roy Frostig | 2010-07-19 | 1 | -1/+1 |
| * | Stub an interface to the (as-yet-nonexistent) structural comparison glue in t... | Patrick Walton | 2010-07-18 | 1 | -24/+97 |
| * | Fix IL translation of pattern-alt to allow a value of mutable/constrained typ... | Roy Frostig | 2010-07-16 | 2 | -6/+7 |
| * | Ensure that functions that should return a value do; issue 41 | Patrick Walton | 2010-07-16 | 1 | -6/+32 |
| * | Feed the correct return type to the typechecker when typechecking objects, an... | Patrick Walton | 2010-07-16 | 1 | -14/+24 |
| * | More renaming of GEP offsets in abi/trans. This should settle it. Also, fix... | Roy Frostig | 2010-07-16 | 1 | -21/+27 |
| * | Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ... | Roy Frostig | 2010-07-16 | 4 | -56/+91 |
| * | Merge branch 'contrib' | Graydon Hoare | 2010-07-15 | 1 | -21/+33 |
| |\ |
|
| | * | Support nested for-each loops. Closes #79. | Jason Orendorff | 2010-07-16 | 1 | -21/+33 |
| * | | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -1547/+836 |
| |/ |
|
| * | Define (in Abi) and use named constants for indices of elements of an obj IL ... | Roy Frostig | 2010-07-15 | 1 | -3/+3 |
| * | Make mutability no longer a type constructor | Patrick Walton | 2010-07-15 | 6 | -22/+23 |
| * | Correct the way we get typarams when dropping an obj type in drop_ty by using... | Roy Frostig | 2010-07-15 | 1 | -5/+3 |
| * | Modify copy_fn_args not to bother with dynamic GEP to get the indirect args c... | Roy Frostig | 2010-07-15 | 1 | -4/+3 |
| * | Explicitly provide an optional closure/obj pointer to trans_call_glue so that... | Roy Frostig | 2010-07-15 | 1 | -38/+81 |
| * | Adjust trans_call_glue to push/pop an extra null word implicit arg, in positi... | Roy Frostig | 2010-07-15 | 1 | -0/+2 |
| * | Begin moving closure-or-obj pointer out to front of call args by changing the... | Roy Frostig | 2010-07-15 | 2 | -3/+4 |
| * | 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 | 12 | -98/+129 |
| * | Fix ret/put mis-identification in typechecker. Closes #87. | Graydon Hoare | 2010-07-14 | 1 | -6/+40 |
| * | Desugar the head stmts all the way out of STMT_for, rather than stashing them... | Graydon Hoare | 2010-07-13 | 4 | -6/+4 |
| * | Revert previous wrong-change on issue #106; was papering over wrongness in th... | Graydon Hoare | 2010-07-12 | 1 | -4/+12 |
| * | Add more tracing code to trans for refcount events. | Graydon Hoare | 2010-07-12 | 1 | -7/+26 |
| * | Fix post-stmt drop calculations. Closes #106. | Graydon Hoare | 2010-07-11 | 1 | -10/+30 |
| * | Catch cyclic imports harder. Add 2 tests to confirm. | Graydon Hoare | 2010-07-09 | 1 | -11/+14 |
| * | Encode and decode DW_AT_rust_iterator on DW_TAG_subprogram DIEs. | Graydon Hoare | 2010-07-08 | 1 | -2/+8 |
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 4 | -14/+27 |
| * | Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not... | Graydon Hoare | 2010-07-08 | 3 | -4/+4 |
| * | Numerous bug fixes to typestate algorithm. | Graydon Hoare | 2010-07-06 | 1 | -83/+116 |
| * | Correct flow-graph wiring for STMT_if. | Graydon Hoare | 2010-07-06 | 1 | -23/+64 |
| * | Wrap long line. | Graydon Hoare | 2010-07-06 | 1 | -1/+3 |
| * | Add init(arg) to STMT_call precondition for each arg. | Graydon Hoare | 2010-07-06 | 1 | -2/+11 |
| * | Use typed slot rather than AST slot in trans_for_loop. | Graydon Hoare | 2010-07-05 | 1 | -3/+4 |
| * | Teach the dwarf readers to handle udata, so we can link with util.option; add... | Graydon Hoare | 2010-07-05 | 1 | -0/+1 |