about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Expand)AuthorLines
2010-07-19Strip off TY_mutables and TY_constraineds when unboxing values during autoderefPatrick Walton-0/+1
2010-07-19ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base.Roy Frostig-17/+24
2010-07-19Autoderef objects when passing them as implicit (indirect) arg upon vtbl-disp...Roy Frostig-2/+11
2010-07-19Add a test for an obvious-seeming (but not actually legal) kind of cast attem...Graydon Hoare-3/+1
2010-07-19Fix over-optimistic resolution of self-methods within obj scopes. There is no...Graydon Hoare-5/+1
2010-07-19Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare-1/+1
2010-07-19Change the body-fetching GEP in mark_ty to be dynamic. Our box may be parame...Roy Frostig-1/+1
2010-07-18Stub an interface to the (as-yet-nonexistent) structural comparison glue in t...Patrick Walton-24/+97
2010-07-16Fix IL translation of pattern-alt to allow a value of mutable/constrained typ...Roy Frostig-6/+7
2010-07-16Ensure that functions that should return a value do; issue 41Patrick Walton-6/+32
2010-07-16Feed the correct return type to the typechecker when typechecking objects, an...Patrick Walton-14/+24
2010-07-16More renaming of GEP offsets in abi/trans. This should settle it. Also, fix...Roy Frostig-21/+27
2010-07-16Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ...Roy Frostig-56/+91
2010-07-15Merge branch 'contrib'Graydon Hoare-21/+33
2010-07-16Support nested for-each loops. Closes #79.Jason Orendorff-21/+33
2010-07-15Implement the "simple typechecker", which avoids HM inferencePatrick Walton-1547/+836
2010-07-15Define (in Abi) and use named constants for indices of elements of an obj IL ...Roy Frostig-3/+3
2010-07-15Make mutability no longer a type constructorPatrick Walton-22/+23
2010-07-15Correct the way we get typarams when dropping an obj type in drop_ty by using...Roy Frostig-5/+3
2010-07-15Modify copy_fn_args not to bother with dynamic GEP to get the indirect args c...Roy Frostig-4/+3
2010-07-15Explicitly provide an optional closure/obj pointer to trans_call_glue so that...Roy Frostig-38/+81
2010-07-15Adjust trans_call_glue to push/pop an extra null word implicit arg, in positi...Roy Frostig-0/+2
2010-07-15Begin moving closure-or-obj pointer out to front of call args by changing the...Roy Frostig-3/+4
2010-07-15Make the call args referent type always have a closure word (non-optional, nu...Roy Frostig-5/+4
2010-07-14Minimize pointless logging during walk.Graydon Hoare-98/+129
2010-07-14Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare-6/+40
2010-07-13Desugar the head stmts all the way out of STMT_for, rather than stashing them...Graydon Hoare-6/+4
2010-07-12Revert previous wrong-change on issue #106; was papering over wrongness in th...Graydon Hoare-4/+12
2010-07-12Add more tracing code to trans for refcount events.Graydon Hoare-7/+26
2010-07-11Fix post-stmt drop calculations. Closes #106.Graydon Hoare-10/+30
2010-07-09Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare-11/+14
2010-07-08Encode and decode DW_AT_rust_iterator on DW_TAG_subprogram DIEs.Graydon Hoare-2/+8
2010-07-08Add detection for cyclic imports.Graydon Hoare-14/+27
2010-07-08Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not...Graydon Hoare-4/+4
2010-07-06Numerous bug fixes to typestate algorithm.Graydon Hoare-83/+116
2010-07-06Correct flow-graph wiring for STMT_if.Graydon Hoare-23/+64
2010-07-06Wrap long line.Graydon Hoare-1/+3
2010-07-06Add init(arg) to STMT_call precondition for each arg.Graydon Hoare-2/+11
2010-07-05Use typed slot rather than AST slot in trans_for_loop.Graydon Hoare-3/+4
2010-07-05Teach the dwarf readers to handle udata, so we can link with util.option; add...Graydon Hoare-0/+1
2010-07-04Fix generic-derived-type.rs and generic-obj-with-derived-type.rs.Graydon Hoare-1/+1
2010-07-04Improve type.ml logging.Graydon Hoare-1/+2
2010-07-04Fix rec-extend.rs test.Graydon Hoare-7/+11
2010-07-04Fix compile-fail/log-type-error.rs.Graydon Hoare-1/+3
2010-07-04Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tr...Graydon Hoare-1/+4
2010-07-04Spill immediates with proper IL type (was making valgrind dislike obj-with-ve...Graydon Hoare-1/+1
2010-07-04Fix bug crashing valgrind in obj-recursion.rs.Graydon Hoare-1/+1
2010-07-04Improve logging in drop paths.Graydon Hoare-10/+20
2010-07-03More corrections to drop/free path to accommodate TY_box.Graydon Hoare-37/+41
2010-07-03Add version-stamp machinery (and put "Draft + datestamp" into doc footer).Graydon Hoare-1/+1