about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Collapse)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 ↵Roy Frostig-2/+11
vtbl-dispatch. Add testcase and XFAIL it on LLVM. Closes #112.
2010-07-19Add a test for an obvious-seeming (but not actually legal) kind of cast ↵Graydon Hoare-3/+1
attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.
2010-07-19Fix over-optimistic resolution of self-methods within obj scopes. There is ↵Graydon Hoare-5/+1
no such feature in the language at present. Add test to prevent regression. Closes #114.
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 ↵Roy Frostig-1/+1
parametric.
2010-07-18Stub an interface to the (as-yet-nonexistent) structural comparison glue in ↵Patrick Walton-24/+97
trans
2010-07-16Fix IL translation of pattern-alt to allow a value of mutable/constrained ↵Roy Frostig-6/+7
type to be the subject of a pattern-alt.
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, ↵Patrick Walton-14/+24
and add a testcase.
2010-07-16More renaming of GEP offsets in abi/trans. This should settle it. Also, ↵Roy Frostig-21/+27
fix some overenthusiastic renaming in previous commit.
2010-07-16Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ↵Roy Frostig-56/+91
in trans. Adjust obj_closure_rty (and its consumers) to be more explicit about the fact that it is a box.
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
referent type.
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 ↵Roy Frostig-5/+3
using get_tydesc_params.
2010-07-15Modify copy_fn_args not to bother with dynamic GEP to get the indirect args ↵Roy Frostig-4/+3
cell in a calltup. It's now possible to obtain it with just regular GEP.
2010-07-15Explicitly provide an optional closure/obj pointer to trans_call_glue so ↵Roy Frostig-38/+81
that it can push one in the right position when calling glue, instead of always pushing a null. As far as I can tell this only affects calls to obj drop glue, since only that makes use of an object binding passed as closure/obj, so pass the binding there as needed.
2010-07-15Adjust trans_call_glue to push/pop an extra null word implicit arg, in ↵Roy Frostig-0/+2
position of closure/obj pointer.
2010-07-15Begin moving closure-or-obj pointer out to front of call args by changing ↵Roy Frostig-3/+4
the order within the call-arg tup referent type. This breaks the world quite a bit, since it remains to fix custom call paths: glue, upcalls, natives.
2010-07-15Make the call args referent type always have a closure word (non-optional, ↵Roy Frostig-5/+4
null in case of no closure) in preparation for shifting it inward from its current position at end-of-call-tup.
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 ↵Graydon Hoare-6/+4
them in the node. That's only necessary for STMT_while.
2010-07-12Revert previous wrong-change on issue #106; was papering over wrongness in ↵Graydon Hoare-4/+12
the runtime. Sad times. Closes #106 more correctly (and adds comment to explain).
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, ↵Graydon Hoare-4/+4
not all do)
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; ↵Graydon Hoare-0/+1
add util.rs to std.rc.
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 ↵Graydon Hoare-1/+4
call-tree is always finite anyways so not a big deal for now.
2010-07-04Spill immediates with proper IL type (was making valgrind dislike ↵Graydon Hoare-1/+1
obj-with-vec.rs).
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 19:14:58 +0000