aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/trans.ml
Commit message (Expand)AuthorAgeFilesLines
* Define (in Abi) and use named constants for indices of elements of an obj IL ...Roy Frostig2010-07-151-3/+3
* Make mutability no longer a type constructorPatrick Walton2010-07-151-6/+7
* Correct the way we get typarams when dropping an obj type in drop_ty by using...Roy Frostig2010-07-151-5/+3
* Modify copy_fn_args not to bother with dynamic GEP to get the indirect args c...Roy Frostig2010-07-151-4/+3
* Explicitly provide an optional closure/obj pointer to trans_call_glue so that...Roy Frostig2010-07-151-38/+81
* Adjust trans_call_glue to push/pop an extra null word implicit arg, in positi...Roy Frostig2010-07-151-0/+2
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-9/+7
* Desugar the head stmts all the way out of STMT_for, rather than stashing them...Graydon Hoare2010-07-131-2/+1
* Add more tracing code to trans for refcount events.Graydon Hoare2010-07-121-7/+26
* Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not...Graydon Hoare2010-07-081-1/+1
* Use typed slot rather than AST slot in trans_for_loop.Graydon Hoare2010-07-051-3/+4
* Fix rec-extend.rs test.Graydon Hoare2010-07-041-7/+11
* Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tr...Graydon Hoare2010-07-041-1/+4
* Spill immediates with proper IL type (was making valgrind dislike obj-with-ve...Graydon Hoare2010-07-041-1/+1
* Fix bug crashing valgrind in obj-recursion.rs.Graydon Hoare2010-07-041-1/+1
* Improve logging in drop paths.Graydon Hoare2010-07-041-10/+20
* More corrections to drop/free path to accommodate TY_box.Graydon Hoare2010-07-031-37/+41
* Deja vu all over again. Something makes me think this is a usability hazard.Graydon Hoare2010-07-021-3/+6
* You may get the feeling that all these changes look eerily the same. You woul...Graydon Hoare2010-07-021-2/+3
* Simplify type before deciding how to free it. Hint: calling free() on a runni...Graydon Hoare2010-07-021-1/+1
* Fix bug in clone logic; was ignoring the mutability-strip step in later rule.Graydon Hoare2010-07-021-21/+22
* Teach severing logic to handle obj and fn types.Graydon Hoare2010-07-021-15/+28
* Trace mark and sever steps in GC.Graydon Hoare2010-07-021-2/+6
* Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges;...Graydon Hoare2010-07-021-5/+6
* Correct drop-ty path; many tests now run.Graydon Hoare2010-07-021-11/+5
* Improve drop-path logging and simplify box_rc_cell.Graydon Hoare2010-07-021-5/+14
* Wrap long lines.Graydon Hoare2010-07-011-2/+6
* Yeah. Not even a semantic mix-up: just a damn typo.Graydon Hoare2010-07-011-1/+1
* Teach clone_ty to tolerate cloning a mutable (though not state) type.Graydon Hoare2010-07-011-1/+1
* Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same log...Graydon Hoare2010-07-011-71/+60
* Remove too-optimistic (and not harmless) over application of auto-deref in tr...Graydon Hoare2010-07-011-8/+4
* Split out and improve trans_init_box.Graydon Hoare2010-07-011-8/+18
* Add logging to trans_init_slot_from_atom.Graydon Hoare2010-07-011-3/+15
* Check the simplified type used in check-expr in trans.Graydon Hoare2010-07-011-1/+1
* Convey auto-deref judgments made in typechecker to trans layer; control the d...Graydon Hoare2010-07-011-3/+14
* Some work on teaching trans to differentiate between auto-deref and explicit-...Graydon Hoare2010-07-011-33/+73
* Add more logging to copy/init paths.Graydon Hoare2010-07-011-12/+27
* Remove redundant indirection-function.Graydon Hoare2010-07-011-4/+2
* Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-011-7/+11
* Simplify types before analyzing call structure; 2 more tests compile.Graydon Hoare2010-07-011-2/+2
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-301-57/+56
* Make type-cast decisions based on simplified types.Graydon Hoare2010-06-301-0/+1
* Remove redundant (and misnamed) function "without_exterior" in trans.Graydon Hoare2010-06-301-11/+3
* Init the exterior ty, not the inner ty.Graydon Hoare2010-06-301-2/+2
* Move simplified_ty from trans to semant and use it a few places.Graydon Hoare2010-06-301-11/+4
* Get compiler to the point of building std.rc and rustc.rc.Graydon Hoare2010-06-301-3/+11
* Teach the typechecker about the auto-dereference and auto-promote-to-mutable ...Patrick Walton2010-06-291-1/+0
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-540/+510
* Move more of the GC logic into the runtime.Graydon Hoare2010-06-281-183/+81
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-47/+47
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-18 08:17:05 +0000